rAKA/doc/manual/version-definition.tex.in

bugfixes/all_bugs_found…3ba310f2399eabb0632a277…