On Mon, 2016-10-11 08:43 AM, Markus Trippelsdorf <markus@trippelsdorf.de> wrote: > This patch breaks bootstrap: ... Sorry all!! was in a rush to get in the car this morning and made a hasty commit. Fixed for r241001 (sorry Jerry, I was a little too slow.) --- Fritz Reese