Subject: control message for bug #25517

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 07 Jun 2022 16:50:58 +0200

retitle 25517 print-format specifier mistaken as comment in inferior-octave-mode
quit