Marc Glisse <marc.glisse at inria.fr> writes: I just added a new symbol to libgmpxx. Should I touch one of the LIBGMPXX_LT_* in Makefile.am, mark somewhere that it may need to be done prior to release, or ignore the (non-)issue? You might fill in the table in Makefile.am to make sure a CXX update is not forgotten. -- Torbjörn