Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 74138 cdac9e1f9bd1
parent 73831 5153fad491f3
child 74147 d030b988d470 
--- a/etc/options	Fri Aug 06 23:12:30 2021 +0200
+++ b/etc/options	Sat Aug 07 15:20:08 2021 +0200
@@ -305,10 +305,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "cdae0ac68f1fed138323fa3dbb299ef3b287723c"
+option phabricator_version_arcanist : string = "4f70fcffa8a5393e210d64f237ffdaa256256d6a"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "4f70fcffa8a5393e210d64f237ffdaa256256d6a"
+option phabricator_version_phabricator : string = "193798385bd3a7f72dca255e44f8112f4f8fc155"
   -- "repository version for phabricator"
isabelle