Rainer Orth writes: > I'm currently testing this patch, will commit as obvious once bootstrap > finishes (probably not before noon today). bootstrap has finished successfully, so I've check this in. Rainer