debian/20200710-17

Andrej Shadura

@andrewsh

3e7ebc15 · Update the changelog · Jul 13, 2025

bmake release 20200710-17 for unstable

[dgit distro=debian split --quilt=gbp]
[dgit please-upload source=bmake version=20200710-17 upstream-tag=upstream/20200710 upstream=977cd36119663946b53c76858603db67df0ad81f]