Hi Andrei,
On Wed, Sep 30, 2020 at 04:05:51PM +0200, Andrei Rozanski wrote:
Many thanks for the commits. I will work on the reading suggestions.
Thanks for doing the d-shlibs and all the info about it.
You are welcome.
I am totally fine with changing the name of the library. I also think that
it will help with consistency.
OK, so I'll move the repository later today and let you know.
have some consistency here. This would also mean we should rename the
git repository to libamplsolver. Finally its a matter of esthetics so I
want to hear your opinion about this. Please note: Changing the source
package **after** the package has been accepted is a real nuisance since
it would require another round trip through the new queue.
Cool. I will try to link it.