debian/102.15.0esr-1+deb12u1

mh@glandium.org

9a85c91e · Release 102.15.0esr-1~deb12u1 · Aug 30, 2023

Debian release 102.15.0esr-1~deb12u1