diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-08-17 16:24:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-17 16:24:18 +0200 |
commit | 4fed2b0147941ae4e413be274c56dd16df2c0d91 (patch) | |
tree | c6e1dfb7a728c8c5440c108291378d7c7f92434e /pkgs/development/libraries | |
parent | aa99a263cc9d2deba40dd6c0bd31b03eda1e7ffe (diff) | |
parent | f19e02b7051398f9358ed77177f5e80f828e20d4 (diff) |
Merge pull request #66739 from dtzWill/update/readline-8.0p1
readline80: 8.0p0 -> 8.0p1
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r-- | pkgs/development/libraries/readline/readline-8.0-patches.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/readline/readline-8.0-patches.nix b/pkgs/development/libraries/readline/readline-8.0-patches.nix index b8019fb335024..433da83dab954 100644 --- a/pkgs/development/libraries/readline/readline-8.0-patches.nix +++ b/pkgs/development/libraries/readline/readline-8.0-patches.nix @@ -1,4 +1,5 @@ # Automatically generated by `update-patch-set.sh'; do not edit. patch: [ +(patch "001" "0sfh7wn0pr743xspnb1zndxndlv9rc0hcg14cbw5cmyg6f4ykrfq") ] |