Subject: bug#62092: 30.0.50; "case" does not work as dedenter in Python

From: Dmitry Gutov <[email-masked]>
Date: Sat, 11 Mar 2023 02:27:57 +0200

On 10/03/2023 07:33, kobarity wrote:
> Attached is a patch to make "case" a dedenter with an ERT.

Here's a minor issue with it, probably not critical:

I type the colon after 'case 2', see it indented correctly, but also a 
message in the echo area:

   Closes case 1:

I type the next case with colon and see:

   Closes case 2:

and so on. They don't do much harm, but they still seem semantically 
incorrect.