On Nov 11, 2016, at 2:15 AM, Rainer Orth <r...@cebitec.uni-bielefeld.de> wrote:
> The patch passes fixincludes make check (this time for real ;-) and
> restores macOS 10.12 bootstrap.

No objections from me.

Reply via email to