Re: [boost] Submodule name mismatches between master and develop

4 Aug 2017


      Oliver Kowalke wrote:
...
2017-08-04 14:44 GMT+02:00 Peter Dimov via Boost :
...
Several submodules have different names on master and develop:
...
Should we normalize the names on develop?
...
...
What do I have to do as one of the maintainers in order to fix the issue?
Nothing, it's a superproject issue.