From 1a66502296816e7b741e0fa253b9b85a6b0d47d1 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Tue, 24 Dec 2019 16:59:59 +0100
Subject: [PATCH] gnu: di: Update to 4.47.3.

* gnu/packages/admin.scm (di): Update to 4.47.3.
---
 gnu/packages/admin.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm
index a61ee64d9d..1725f2a563 100644
--- a/gnu/packages/admin.scm
+++ b/gnu/packages/admin.scm
@@ -2494,13 +2494,13 @@ (define-public thefuck
 (define-public di
   (package
     (name "di")
-    (version "4.47.2")
+    (version "4.47.3")
     (source
      (origin
        (method url-fetch)
        (uri (string-append "https://gentoo.com/di/di-" version ".tar.gz"))
        (sha256
-        (base32 "1g97pp2hznskqlkhl6ppyzgdmv878bcqiwh633kdnm70d1pvh192"))))
+        (base32 "0m4npba50sf5s61g5z3xd2r7937zwja941f2h3f081xi24c2hfck"))))
     (build-system gnu-build-system)
     (arguments
      `(#:tests? #f                      ; obscure test failures