Paul Eggert schrieb am Di., 1. März 2016 um 17:36 Uhr: > On 02/29/2016 01:52 PM, Philipp Stephani wrote: > > What's the status of this? Could one of the patches get merged into > > master? Thanks. > > Thanks for reminding us. I looked into this. How about if I install the > attached pair of patches to start with? The first is yours, the second > attempts to make it a bit more build-friendly by making it a runtime > switch rather than a compile-time flag. Also, I negated the sense of the > switch, since making a build deterministic is the same as disabling some > minor features. > Thanks, both look good to me.