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
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