Bug#1131640: fixed in botch 0.24-7

[Santiago Vila]

On Wed, Jun 17, 2026 at 01:42:22PM +0200, Johannes Schauer Marin Rodrigues 
wrote:
> How did you even spot that? :D

Long-time subscriber of d-d-changes...