[13:45] too bad this chat is a little bit dead [14:50] gedit signed tags a0bfab2 Jeremy Bicha upstream/44.1 * Upstream version 44.1 * https://deb.li/3Dz5V [14:52] gedit-plugins signed tags 685571d Jeremy Bicha upstream/44.0 * Upstream version 44.0 * https://deb.li/3ljp7 [14:52] gedit-plugins pristine-tar 6b97387 Jeremy Bicha gedit-plugins_44.0.orig.tar.xz.delta gedit-plugins_44.0.orig.tar.xz.id * pristine-tar data for gedit-plugins_44.0.orig.tar.xz * https://deb.li/3E61l [14:53] gedit-plugins upstream/latest a087070 Jeremy Bicha * pushed 9 commits (first 5 follow) * https://deb.li/lqUg [14:53] gedit-plugins upstream/latest cbeb2d7 Sébastien Wilmet plugins/terminal/terminal.py * terminal: use tepl_utils_can_use_gsettings_schema() * https://deb.li/35EHF [14:53] gedit-plugins upstream/latest e3a3749 Sébastien Wilmet plugins/terminal/terminal.py * terminal: define SETTING_KEY_* constants for external GSettings * https://deb.li/PEmi [14:53] gedit-plugins upstream/latest c930633 Sébastien Wilmet plugins/terminal/terminal.py * terminal: check that GSettings keys can be used * https://deb.li/3JaQh [14:53] gedit-plugins upstream/latest bacc788 Sébastien Wilmet plugins/terminal/terminal.py * terminal: more complete check before using gnome-terminal GSettings * https://deb.li/nzu2 [14:53] gedit-plugins upstream/latest 78390fe Sébastien Wilmet meson.build meson_options.txt * build: add user_documentation option, like in main gedit repo * https://deb.li/iU6SC