hello. It seems to me, that the ed.info-file has not be updated to feb2017 as other documents, but is still from 2013.
greetings. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed