-
Simon Marlow authored
Patch submitted by Matthias Kilian <kili@outback.escape.de>, re-recorded against HEAD by me, with a comment added.
4842f1a5
Patch submitted by Matthias Kilian <kili@outback.escape.de>, re-recorded against HEAD by me, with a comment added.