debian/1.13.0-1

Gioele Barabucci

@gioele

4707a278 · d/changelog: Release Debian version 1.13.0-1 · Nov 10, 2025

bats release 1.13.0-1 for unstable

[dgit distro=debian split --quilt=gbp]
[dgit please-upload source=bats version=1.13.0-1 upstream-tag=v1.13.0 upstream=3bca150ec86275d6d9d5a4fd7d48ab8b6c6f3d87]