On Fri, Sep 7, 2018 at 8:15 AM Daniel Tameling <tamelingdan...@gmail.com> wrote: > if there is already an existing config.h, you get the error you described.
It turns out that this error occurred precisely because I ran make (which created a config.h file) in between applying the two patches. I think this error is subtle and frustrating enough that it deserves an entry in the notes section of the page. Is there a specific person to contact about this?
