diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-01 17:58:20 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-03 01:52:44 +0100 |
commit | bc134c77e0b4406f735047409d28b2455035b195 (patch) | |
tree | c069252162130c27dac68d4a4dcf0021a8dde27d /gnu/local.mk | |
parent | 51058cb2324d979c5f54fcc4005dfbfe2e0345ee (diff) | |
download | patches-bc134c77e0b4406f735047409d28b2455035b195.tar patches-bc134c77e0b4406f735047409d28b2455035b195.tar.gz |
gnu: pugixml: Update to 1.10.
* gnu/packages/xml.scm (pugixml): Update to 1.10.
[source]: Remove obsolete patch.
* gnu/packages/patches/pugixml-versioned-libdir.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/local.mk')
-rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index e1518db09d..e2d922373e 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1260,7 +1260,6 @@ dist_patch_DATA = \ %D%/packages/patches/psm-disable-memory-stats.patch \ %D%/packages/patches/psm-ldflags.patch \ %D%/packages/patches/psm-repro.patch \ - %D%/packages/patches/pugixml-versioned-libdir.patch \ %D%/packages/patches/pulseaudio-fix-mult-test.patch \ %D%/packages/patches/pulseaudio-longer-test-timeout.patch \ %D%/packages/patches/pybugz-encode-error.patch \ |