() Paul Eggert <[email protected]> () Tue, 17 Jan 2012 14:35:36 -0800
In that case, let's not bother with a configure-time script that disables compatibility. If nobody is ever expected to use it, all it will do is add confusion, and overall that's a net minus. True. I will drop this misfeature shortly.
