Bug#322980: marked as done (Function keys in Beginners menu don't work)

2020-02-14 Thread Debian Bug Tracking System
Your message dated Fri, 14 Feb 2020 22:37:52 + with message-id and subject line Bug#588002: fixed in jove 4.17.2.0-1 has caused the Debian Bug report #588002, regarding Function keys in Beginners menu don't work to be marked as done. This means that you claim that the problem has been dealt

Bug#322980: marked as done (Function keys in Beginners menu don't work)

2020-02-14 Thread Debian Bug Tracking System
Your message dated Fri, 14 Feb 2020 22:37:52 + with message-id and subject line Bug#322980: fixed in jove 4.17.2.0-1 has caused the Debian Bug report #322980, regarding Function keys in Beginners menu don't work to be marked as done. This means that you claim that the problem has been dealt

Bug#322980: marked as done (Function keys in Beginners menu don't work)

2020-02-14 Thread Debian Bug Tracking System
Your message dated Fri, 14 Feb 2020 22:37:52 + with message-id and subject line Bug#478561: fixed in jove 4.17.2.0-1 has caused the Debian Bug report #478561, regarding Function keys in Beginners menu don't work to be marked as done. This means that you claim that the problem has been dealt