> On 05/30/2018 12:27 PM, Gerald Pfeifer wrote: > >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. ;-) > > Jakub already committed the missing change in r260970 so boostrap > should be working again.
I apologize for that. I left svn commit waiting for commit log entry and did not notice that :( Thanks for fixing it! Honza > > Thanks > Martin >
