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

[Dmitry Gutov]

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.