Re: build and ports mismatching ?

On Fri, May 25, 2018 at 07:51:15AM +0000, Stuart Henderson wrote:

> That is at least detected by package tools and more easily fixed :)

The package tools err on the side of caution because we've been burnt
too many times.

There is often whining about it from other developers because sometimes
it's a pain to keep everything in synch, but it saves the ass of end users.