Skip to content

Conversation

jseldess
Copy link
Contributor

@jseldess jseldess commented Nov 3, 2017

No description provided.

@cockroach-teamcity
Copy link
Member

This change is Reviewable

@cockroach-teamcity
Copy link
Member

@bdarnell
Copy link
Contributor

bdarnell commented Nov 6, 2017

:lgtm:


Review status: 0 of 1 files reviewed at latest revision, all discussions resolved, all commit checks successful.


Comments from Reviewable

@jseldess
Copy link
Contributor Author

jseldess commented Nov 6, 2017

TFTR, @bdarnell. I'll try to work in some improvements based on #1993 as well before merging.

@cockroach-teamcity
Copy link
Member

@jseldess jseldess mentioned this pull request Nov 7, 2017
@cockroach-teamcity
Copy link
Member

@jseldess jseldess merged commit 77e4556 into master Nov 7, 2017
@jseldess jseldess deleted the random-uuid branch November 7, 2017 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants