On 25/8/26 20:54, B. Watson wrote: > > > On Tue, 25 Aug 2026, Nick Smallbone wrote: > >> I can take it. I can also take (if they are still orphaned) cbmc, >> kissat, cryptominisat, and shotcut. > multimedia/shotcut has already been claimed by Eugene Wissner chris