Am 22.06.20 um 13:37 schrieb Jan Engelhardt:
On Monday 2020-06-15 01:34, Alexander A. Klimov wrote:
A header file rename is no problem. We even have dummy headers
Hmm.. if I understand all of you correctly, David, Stefano, Pablo and Al say
like no, not a good idea, but only you, Jan, say like should be no problem.
Jan, do you have anything like commit messages in mainline or public emails
from maintainers confirming your opinion?
I had already given the commit with the (email) message:
Just look at xt_MARK.h, all it does is include xt_mark.h. Cf.
28b949885f80efb87d7cebdcf879c99db12c37bd .
In that commit no .h file disappeared.
