Re: Dropping Infinality

[Nikolaus Waxweiler]

I think there is a niche community of users who rely on Infinality, but I'd
be in favor of dropping it anyway if it helps maintainability.