Andreas Henriksson dixit: >basically: […] ><rinse and repeat step 2+3 until git tells you the bad commit>
Ouch. This sounds like it still involves a lot of manual work. But thanks for the quick explanation. >PS. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764580 Ouch! Does using m4 from jessie or even wheezy help? bye, //mirabilos -- “ah that reminds me, thanks for the stellar entertainment that you and certain other people provide on the Debian mailing lists │ sole reason I subscribed to them (I'm not using Debian anywhere) is the entertainment factor │ Debian does not strike me as a place for good humour, much less German admin-style humour” -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org