Subject: Re: bug#56609: [PATCH] Derive `Info-mode' from `special-mode'

From: Po Lu <[email-masked]>
Date: Sun, 17 Jul 2022 19:58:30 +0800

Lars Ingebrigtsen <[email-masked]> writes:

> I don't think there could be any difference?  We shift from one major
> mode to another, whether that one mode is derived or not.

When changing well established facts about a very old major mode, one
can never be too complacent.