Wolfgang Denk wrote: > BTW: what should the next release be named - 1.2.1 or 1.3.0 ? A lot of updates and fixes, new merge strategy, I vote for 1.3.0. Best regards Dirk