On February 2, 2014 at 8:46:26 PM, Hilmar Lapp (hl...@drycafe.net) wrote:
Rob Hoehndorf's name is misspelled too.
Jerven found that one too and is currently working on having the names corrected. He emailed me and Peter already; the list wasn’t CC’d.
Joachim