+2019-12-19 Tom Tromey <tromey@adacore.com>
+
+ PR build/24572:
+ * Makefile.in (install-strip): New target.
+
+2019-09-23 Dimitar Dimitrov <dimitar@dinux.eu>
+
+ * configure: Regenerate.
+
2017-12-12 Stafford Horne <shorne@gmail.com>
Peter Gavin <pgavin@gmail.com>