On Monday, 6 February 2023 at 10:22:32 UTC, Atila Neves wrote: > Now that dmd/druntime is in one repo, is there a good reason to > not include Phobos? No. Do it.