Hi, Am Mittwoch, den 21.08.2019, 13:57 +0200 schrieb Joachim Breitner:
* We will stop renumbering proposals sequentially, but instead simply use the PR number, so that we no longer have this two-number confusion. (We should have done that from the start :-()
looks like Eric and Richard have already done that for two recent proposals. So consider this a fact now.
* We will actually re-number the already accepted proposals, but leave the old files there to point to the new location, so that existig links stay valid. (Either as symlinks or simply as very short files, I will see how GitHub presents either of these options).
Guess I better do that now as well… Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/