[ghc-steering-committee] Results of committee meeting at ICFP
Joachim Breitner
mail at joachim-breitner.de
Sat Aug 24 09:48:27 UTC 2019
Hi,
Am Samstag, den 24.08.2019, 11:21 +0200 schrieb Joachim Breitner:
> > * 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…
done. The band-aid is off. The directory is a bit of a mess now, with
many proposals duplicated, but that is unavoidable, I fear.
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list