upstream/20250729

Simon Josefsson

@jas

6c5134c9 · Merge remote-tracking branch 'gnu/stable-202507' into upstream-stable · Aug 01, 2025

Imported branch stable-202507 of upstream 20250729