Jeremy Kerr Thu, 13 Jul 2017 22:52:11 -0700
Hi Thierry, > I /think/ Jeremy Kerr (To'ed) would be a good person to contact about > this. > > Jeremy, anything you can do about this?
OK, all sorted. I've updated Jerome's entry in the database to suit. Cheers, Jeremy