Skip to content
This repository was archived by the owner on May 14, 2020. It is now read-only.

Conversation

@dune73
Copy link
Contributor

@dune73 dune73 commented Jun 5, 2018

How did we overlook this mistake?

@dune73
Copy link
Contributor Author

dune73 commented Jun 5, 2018

Merging this myself. It's really a no-brainer.

@dune73 dune73 merged commit 2d3efa2 into v3.1/dev Jun 5, 2018
@csanders-git csanders-git deleted the renumber-944400-to-901350 branch July 4, 2018 11:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants