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.

Reply via email to