gnu: di: Update to 4.47.3.
authorTobias Geerinckx-Rice <me@tobias.gr>
Tue, 24 Dec 2019 15:59:59 +0000 (16:59 +0100)
committerTobias Geerinckx-Rice <me@tobias.gr>
Tue, 24 Dec 2019 16:17:16 +0000 (17:17 +0100)
commit1a66502296816e7b741e0fa253b9b85a6b0d47d1
tree9eecd42cb3a43366fe351f273419b1e1e26f4357
parent3d217317885235b6567b58eebee377e6d1620a6c
gnu: di: Update to 4.47.3.

* gnu/packages/admin.scm (di): Update to 4.47.3.
gnu/packages/admin.scm