gnu: di: Update to 4.47.2.
authorTobias Geerinckx-Rice <me@tobias.gr>
Fri, 1 Nov 2019 16:04:49 +0000 (17:04 +0100)
committerTobias Geerinckx-Rice <me@tobias.gr>
Fri, 1 Nov 2019 16:14:30 +0000 (17:14 +0100)
commit9a8583ec455169c6792c009e09b3155b2f76f735
tree279d41ff254c2c4bfc5de7018f1a37a3c52f7f21
parent9a3be6fc42b19f2e8291a66638cb003557fb11c4
gnu: di: Update to 4.47.2.

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