15 Nov
2024
15 Nov
'24
9:12 a.m.
Hi all, In light of the various issues reported in 9.8.3, I have prepared a 9.8.4 release. What is likely to be the final release pipeline can be found here [1]. However, before moving ahead with the release process, I would like to confirm that this release covers the issues raised with 9.8.3; specifically: * we ship with filepath-1.4.300.2 * we provide manpages in all binary distributions In addition, I backported two unrelated fixes (a soundness fix related to prompt# and a fix affecting -Wmissing-home-modules). Julian, perhaps you could confirm that this addresses your concerns? Cheers, - Ben