Closed xtaran closed 4 years ago
@xtaran : please check if the recent commits fixed it.
Yeah, I think 90d040731ace3aa00ed2617fd1deb497137f668a fixes the actual issue and the remaining ones look as if they could keep those things up to date wrt. version numbers.
Sorry for a bug report shortly after the release, but I became aware of this file's content via some new lintian tag (which has nothing to do with this issue, just made me look into that file):
src/wml_frontend/wmd.txt
contains the following header:I think at least the URLs and maybe the version number and some dates should be updated.
URLs: Which one should be used? Probably these two:
Version: Probably needs some rewriting on build time, hence non-trivial.
I grepped through the whole source code for the common part of the two old URLs and found it in these files:
Not urgent IMHO.