Your message dated Sun, 14 Sep 2025 20:50:49 -0500 with message-id and subject line Re: bug#75440: dejagnu does not like java.io.Console of OpenJDK >= 22 has caused the debbugs.gnu.org bug report #75440, regarding dejagnu does not like java.io.Console of OpenJDK >= 22 to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 75440: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75440 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems