[crux-commits] ports/opt (3.8): texinfo: 7.1 -> 7.1.1

Commit hash: 26a6f0992fcc046bb16101cf3dcea5d0e62bf486 Author: Tim Biermann <tbier@posteo.de> Date: Tue Sep 10 11:31:32 2024 UTC+02:00 URL: https://git.crux.nu/ports/opt/commit/26a6f0992fcc046bb16101cf3dcea5d0e62bf48... Commit message: texinfo: 7.1 -> 7.1.1