<debianbug@jaggi.info> for the report and patch. (Closes: #1027829)
* Update debian/copyright for 2023.
* Increase debhelper compat level from v12 to v13.
<debianbug@jaggi.info> for the report and patch. (Closes: #1027829)
* Update debian/copyright for 2023.
* Increase debhelper compat level from v12 to v13.