Hello Lars, Am Wed, Feb 15, 2023 at 11:38:23AM +0100 schrieb zimoun: > Feel free to merge. :-)
+1, please go ahead! By the way, when building pandoc for my core-updates profile, I noticed that ghc bootstrapping takes a terribly long time. Might there be a fleeting chance to jump over some older releases? Andreas
