diff options
| author | Zheng Junjie <z572@z572.online> | 2025-02-07 18:41:50 +0800 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-07-18 20:17:28 +0200 |
| commit | e8dab4873c7d4f115f89ce99d93f36aad9ecc751 (patch) | |
| tree | 94ced3c063c3b30b0e1417eadd66892f3e909b1e /gnu/packages/patches/bash-linux-pgrp-pipe.patch | |
| parent | 0add44b53c5afc576a30c42f64a6cc2784659c06 (diff) | |
gnu: readline: update to 8.2.13.
* gnu/packages/readline.scm (readline): Update to 8.2.13.
(%patch-series-8.1): Rename to %patch-series-8.2 and update it.
Change-Id: I9fdf4167084d3894871fd363b3b2122cdefe36fb
Diffstat (limited to 'gnu/packages/patches/bash-linux-pgrp-pipe.patch')
0 files changed, 0 insertions, 0 deletions