[m-dev.] Renaming the NEWS file -> NEWS.md

Julien Fischer jfischer at opturion.com
Tue Feb 20 21:15:20 AEDT 2018


Since the Mercury repostitory is currently hosted on github, I have been
considering renaming the NEWS file -> NEWS.md and tweaking the
markdown** so that it is github flavoured.  Doing this means that when
browsing the repository on github that the NEWS file would be nicely 

Are there any objections to doing this?


(** theoretically the NEWS file should already be markdown, but
what some parts of it are in practice is anybody's guess.)

More information about the developers mailing list