diff options
author | Marius Bakke <mbakke@fastmail.com> | 2019-07-18 23:44:59 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2019-07-19 00:02:09 +0200 |
commit | 4678cc46a4c1e0538402d8df6d85d3caedc7f00b (patch) | |
tree | 93ec8605f99506d3af2a3bf1f5655c2526683f78 /gnu/machine | |
parent | 262f904ebd2087a2f285b1c381ac32195c832c9e (diff) | |
download | patches-4678cc46a4c1e0538402d8df6d85d3caedc7f00b.tar patches-4678cc46a4c1e0538402d8df6d85d3caedc7f00b.tar.gz |
gnu: glog: Update to 0.4.0.
* gnu/packages/patches/glog-gcc-5-demangling.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/logging.scm (glog): Update to 0.4.0.
[source]: Use GIT-FETCH.
[arguments]: Remove.
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions