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 27;
authorwenzelm
Fri, 24 Jul 2020 20:43:32 +0200
changeset 72071 d3cad9ecd0cc
parent 72070 b17be02a0a11
child 72072 fed7b0ae20d8
follow Phabricator update 2020 Week 27;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Fri Jul 24 16:45:20 2020 +0200
+++ b/etc/options	Fri Jul 24 20:43:32 2020 +0200
@@ -294,10 +294,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "a5bfb968cd90bb0a14c7067e7a2153d5d6ed48d7"
+option phabricator_version_arcanist : string = "2565cc7b4d1dbce6bc7a5b3c4e72ae94be4712fe"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "686e51655bb0f4134780dcc68e0276bc9bd0a4af"
+option phabricator_version_phabricator : string = "324445589b5eec0377cd415036fc407295c1ba25"
   -- "repository version for phabricator"
isabelle