Skip to content

Conversation

nainar
Copy link
Contributor

@nainar nainar commented Feb 12, 2018

Fixes #574

@plinss
Copy link
Member

plinss commented Feb 21, 2018

When this gets merged (or closed), please ping me so I can clean up the mercurial side of the branch

@nainar nainar closed this Jun 26, 2018
@tabatkins tabatkins deleted the issue_574 branch July 2, 2018 00:17
@tabatkins
Copy link
Member

@plinss You can clean up the mercurial side now, if you haven't already.

@syncbot syncbot restored the issue_574 branch December 23, 2020 06:18
@tabatkins tabatkins deleted the issue_574 branch May 13, 2021 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants