On Wed, 30 May 2018, Martin Sebor wrote: > I think your r260956 is missing the following hunk:
If this fixes the bootstrap for you (also ran into this myself just now), can you please go ahead and commit? We can always sort out things later, if there are details to be tweaked, but fixing a bootstrap failure with a simple one-liner like this, let's not get process-heavy and just do it. ;-) Gerald
