Changes that have been merged or pushed

© 2018-2022 Jelmer Vernooij. File a bug. Source code. Published under the GNU GPLv2 or later.