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

Reply via email to