On 2016-12-24 10:48, Sandro Tosi wrote: > what's all this? 89 commits? are you pulling commits from upstream > git? this looks just spam to the mailing list Sorry, this was not intended. I pulled upstream in fact, but I was not aware that I was pushing it to our git, too. :~(