Hi Josef, Thanks for reporting this problem, and providing a patch to fix it.
I have checked your patch in, along with one, very very minor change to the formatting of the comment in gen_prefix(). Cheers Nick
Hi Josef, Thanks for reporting this problem, and providing a patch to fix it.
I have checked your patch in, along with one, very very minor change to the formatting of the comment in gen_prefix(). Cheers Nick