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?