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 73533 543d5539306d
parent 73387 3b5196dac4c8
child 73691 2f9877db82a1 
--- a/etc/options	Fri Apr 02 12:24:35 2021 +0100
+++ b/etc/options	Mon Apr 05 22:45:01 2021 +0200
@@ -291,10 +291,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "66d1acec70425eb0c70c2d4cbe38b13c66fc34c7"
+option phabricator_version_arcanist : string = "7af9846f994a8d0a1fc89af996e3ddd81f01765e"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "36a21adb905d094ca7b1e48879dcfd45a77a7a8a"
+option phabricator_version_phabricator : string = "2afedad61c5181bb4f832cea27b9b59df19f3fd5"
   -- "repository version for phabricator"
isabelle