Skip to content

Conversation

@lumberbot-app
Copy link

@lumberbot-app lumberbot-app bot commented Feb 16, 2018

Backport PR #10451: renaming duplicated file names

@lumberbot-app lumberbot-app bot added this to the v2.2-doc milestone Feb 16, 2018
@dstansby dstansby merged commit 70ba990 into v2.2.x Feb 16, 2018
@QuLogic QuLogic deleted the auto-backport-of-pr-10451 branch February 16, 2018 23:35
@QuLogic QuLogic modified the milestones: v2.2-doc, v2.2.0 Feb 16, 2018
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.

4 participants