On 12/06/14 08:06, Fabian Greffrath wrote: > Am Dienstag, den 10.06.2014, 23:01 +0100 schrieb Simon McVittie: >> Looks like a change in make(1) behaviour > > could you please "git push" your commits? Done, sorry about that. S