Since we havn't yet decided the next version number (the milestone says 1.39/2.0) one way to avoid forgetting, but still allow this to be merged soon is to create another PR with milestone 1.39/2.0 which points to these doxycomments and says "Update to new version when its decided what it will be".

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.