v2.23.7

Benjamin Drung

@bdrung

eb7dc80e · Release devscripts 2.23.7 · Dec 12, 2023

devscripts Debian release 2.23.7