4 Aug
2017
4 Aug
'17
4:12 p.m.
On 4 August 2017 at 13:44, Peter Dimov via Boost
There are also libs/hana and libs/metaparse, which have consistent (although "wrong") names on both master and develop. Not sure if we need to bother with them.
I wouldn't bother. What the names are is mostly irrelevant, they're mainly used as internal identifiers. Having them change arbitrarily in the history is more likely to cause a problem than not following a naming convention. It's very easy for scripts to handle the names, and users aren't normally aware of them.