On 7/15/2015 1:13 AM, Paolo Invernizzi wrote:
On Wednesday, 15 July 2015 at 07:50:46 UTC, Dicebot wrote:Good to see another bad name merged in master ^_^Yep, same feeling here....
Does this mean that complaining about the names I pick is going to die down? :-)
