Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
follow Phabricator update 2020 Week 42;
authorwenzelm
Sun, 27 Dec 2020 14:08:35 +0100
changeset 73011 4519ba8da368
parent 73010 a569465f8b57
child 73012 238ddf525da4
follow Phabricator update 2020 Week 42;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Sun Dec 27 14:04:27 2020 +0100
+++ b/etc/options	Sun Dec 27 14:08:35 2020 +0100
@@ -291,10 +291,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "68dba1a2c6d9fe1de7b9d4c944336458d0f016b3"
+option phabricator_version_arcanist : string = "86ad69863930ed5f1e63d3d5be00cae9f458496f"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "5e06d924f8eba5df354c690ceb693e454e965d16"
+option phabricator_version_phabricator : string = "ac54d61d7af20f5d65ba889974f23a86bfb6cd57"
   -- "repository version for phabricator"
isabelle