In my opinion this version bump is reasonable,
if we go with Debian stable as the lowest number
indicator (automake on Debian stable is currently on 1.14).
-- 
ng0
GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588
GnuPG: https://dist.ng0.infotropique.org/dist/keys/
https://www.infotropique.org https://ng0.infotropique.org