Is there anything wrong with merging this?

Even if it would be cooler to not have to set the flag, as it is done by Autotools as well, it might be ok.

And if uctags is updated next time, we could try to remove it again.

I don't see any reason not to merge this indeed, if it fixes something.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.