On 2018/01/19 21:46, Alexander Bluhm wrote: > On Fri, Jan 19, 2018 at 08:24:23PM +0000, Stuart Henderson wrote: > > To be honest though, unless it's in the way of something, I'm not sure it's > > worth removing. > > If those constatns are in ports and require revision bumps, we can > leave it in the header. Rebuilding base is one thing, but doing > manual work with ports is not worth it. > > bluhm >
Nothing showed up in ports (my unpacked source is from May 30 2017 but nothing relevant comes to mind that might have been added since then). So it looks like just one non-ports thing that's providing an interface, but probably nothing actually uses that interface anyway. In which case, should be safe.
