[ghc-steering-committee] Results of committee meeting at ICFP

[Joachim Breitner]

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 at joachim-breitner.de
  http://www.joachim-breitner.de/