"Jürgen Urban" <juergenur...@gmx.de> writes: >> Does it still work with those changes, as below? If so, I'll check it in. > > I tested it. It is still working. So the patch is OK, please check it in.
OK, I've applied this and the config.gcc patch. Thanks, Richard