On 11.12.2015 15:34, Ilya Enkovich wrote:
I fixed it, bootstrapped, regtested and applied to trunk.  Here is committed 
version.

this left libmpx/libtool-version, which now is unused and outdated. Ok to 
remove?

Matthias

Reply via email to