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
