On 7/15/15 4:29 AM, Mike wrote: > On Wednesday, 15 July 2015 at 07:50:46 UTC, Dicebot wrote: >> Good to see another bad name merged in master ^_^ > > Was there a good name suggested that wasn't vetoed by Walter or Andrei? s/good name/name that I like/ FTFY Andrei