13 Jan
2018
13 Jan
'18
4:43 p.m.
On 12 January 2018 at 12:35, Andrey Semashev via Boost
Looks good, although I would prefer if Trac tickects could be distinguished from GitHub issues. Maybe expand issues to GH#number?
I don't think GH would be as obvious as PR. Maybe GitHub#number would be better? I was following the existing release notes were people have just used #number. It's not that confusing as the numbers are much lower than they are for trac, and the links go to the right place.