On Monday, 6 February 2023 at 14:28:45 UTC, max haughton wrote: > Things choosing and thus eventually disagreeing on which Phobos > version they want to use is potentially not so great. Phobos being pre-compiled with an unknown set of flags, and that mismatching every other project reliant on Phobos is not great either.