On 11/7/24 10:57 AM, Emilio Pozuelo Monfort wrote:
This is in a very good state, but I think we want to finish openmpi before acking this.
Can we do this now that the openmpi, hdf5, and python3-defaults transitions have finished? mapserver can be hinted out of testing if that helps with the php8.4 transition entanglement. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1
