Hi Thierry,
Apologies for that garbled last message - I've been somewhat ill lately! I was actually referring to another bug that I will shortly fix.
In the meanwhile, here is an updated patch for lucid to fix this minor annoyance.
Best,
Martin
Hi Thierry,
Apologies for that garbled last message - I've been somewhat ill lately! I was actually referring to another bug that I will shortly fix.
In the meanwhile, here is an updated patch for lucid to fix this minor annoyance.
Best,
Martin