Subject: Re: [boost] Submodule name mismatches between master and develop
From: Peter Dimov (lists_at_[hidden])
Date: 2017-08-04 17:40:38
Oliver Kowalke wrote:
> 2017-08-04 14:44 GMT+02:00 Peter Dimov via Boost <boost_at_[hidden]>:
>
> > 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.