Index: head/devel/jiri/distinfo
===================================================================
--- head/devel/jiri/distinfo	(revision 489727)
+++ head/devel/jiri/distinfo	(revision 489728)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1546531203
-SHA256 (jiri/56b2a541f92f3bd9d28b29e1cbcb16f96d6bc6c1.tar.gz) = c479308b7c6baa1c5c4a2bf7e5d828667b1c91fdb38e44c078dc041f86f41d55
-SIZE (jiri/56b2a541f92f3bd9d28b29e1cbcb16f96d6bc6c1.tar.gz) = 226329
+TIMESTAMP = 1546968530
+SHA256 (jiri/56b2a541f92f3bd9d28b29e1cbcb16f96d6bc6c1.tar.gz) = 450e22775b373e3568d7ecf437c662323835f8c4cdc237a7ed9738a93da61ca7
+SIZE (jiri/56b2a541f92f3bd9d28b29e1cbcb16f96d6bc6c1.tar.gz) = 226330