From c9500bcd96634757f3528bff58b32e725d31e1e4 Mon Sep 17 00:00:00 2001 From: Jenkins system Date: Tue, 21 Feb 2023 17:44:57 +0100 Subject: [PATCH] [deb] Release v0.17.1 --- debian/changelog | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/debian/changelog b/debian/changelog index 86fa72a..9dfa9e0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,22 @@ +frappy-core (0.17.1) focal; urgency=medium + + [ Georg Brandl ] + * gitignore: ignore demo PID file + * config: demo config fixes + * cfg: repair demo cfg after conversion + * gui: make spacing more consistent + + [ Markus Zolliker ] + * fix links in doc/introduction + + [ Georg Brandl ] + * gui console: better formatting of input/output + * gui: as a stopgap measure, apply %g format to floats + * gui: clear tree selection by clicking into empty space + * gui: make plot windows children of the node, so they close automatically + + -- Georg Brandl Tue, 21 Feb 2023 17:44:56 +0100 + frappy-core (0.17.0) focal; urgency=medium [ Alexander Zaft ]