Zheng Junjie 700529a4e1 gnu: bash: Update to 5.2.37. ...

* gnu/packages/bash.scm (bash): Update to 5.2.37.
(patch-url): Update it.
(%patch-series-5.1): Rename to %patch-series-5.2 and update it.

* gnu/packages/patches/bash-linux-pgrp-pipe.patch: Adjust it.

Change-Id: I26c070ea3256e77d3a7658190339dc080fc0bc63

2025-07-18 20:17:28 +02:00

1.4 KiB

Raw Permalink Blame History

View Raw