On Fri 2019-10-25 @ 11:44:14 AM, Trevor Gamblin wrote: > On 10/25/19 11:16 AM, Trevor Woerner wrote: > > Does this break on hosts where it had previously worked? > Doesn't affect my (successful) Fedora build. Would also be interested to > know. Okay, thanks for the report! :-)