Am 19.03.2017 um 12:13 schrieb MrSmith:
On Tuesday, 14 March 2017 at 11:17:57 UTC, Sönke Ludwig wrote:Any comments suggestions and especially helping hands are highly appreciated!Would be nice to undo/change votes. I accidentally clicked -1 and can't undo it.
Good point, I was a bit worried about this myself, and the fact that it directly occurred in practice suggests that this indeed needs to be improved.
