On 2015-12-17, Kornel Benko wrote:
> Am Donnerstag, 17. Dezember 2015 um 12:49:13, schrieb Guenter Milde 
> <mi...@users.sf.net>

...

>> Should the now reverted commit be splitted, too or is it OK to re-revert?

Günter

Reply via email to