On 10/23/2010 01:52 PM, James Youngman wrote: > Thanks. I adopted a very slightly different approach, see > https://savannah.gnu.org/bugs/index.php?31424 > > The updated code is already pushed.
The patch works as expected, thank you very much - this was really painless ;) markus > > James. >
