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 2021 Week 4;
authorwenzelm
Wed, 27 Jan 2021 13:44:08 +0100
changeset 73195 7295e0f19204
parent 73194 c0d6d57a9a31
child 73196 45d8884dd233
follow Phabricator update 2021 Week 4;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Jan 26 23:34:40 2021 +0100
+++ b/etc/options	Wed Jan 27 13:44:08 2021 +0100
@@ -291,10 +291,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "86ad69863930ed5f1e63d3d5be00cae9f458496f"
+option phabricator_version_arcanist : string = "66d1acec70425eb0c70c2d4cbe38b13c66fc34c7"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "ac54d61d7af20f5d65ba889974f23a86bfb6cd57"
+option phabricator_version_phabricator : string = "36a21adb905d094ca7b1e48879dcfd45a77a7a8a"
   -- "repository version for phabricator"
isabelle