issue nicknames

I fixed a few issue nicknames, including for one open issue.

peter

Harold, you are no longer the nickname of any issues.  :-)

Received on Friday, 25 September 2015 17:42:18 UTC