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 37;
authorwenzelm
Fri, 25 Sep 2020 16:32:41 +0200
changeset 72300 9f07e961a2b0
parent 72299 0c7a74a1c6d9
child 72305 6f0e85e16d84
follow Phabricator update 2020 Week 37;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Fri Sep 25 15:43:53 2020 +0200
+++ b/etc/options	Fri Sep 25 16:32:41 2020 +0200
@@ -288,10 +288,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "ccd39feb6d3bbd84e122817b0d8b36284b6edd9d"
+option phabricator_version_arcanist : string = "68dba1a2c6d9fe1de7b9d4c944336458d0f016b3"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "82f98747a4e33596f8c027cb574b8ee3cb4c7d6b"
+option phabricator_version_phabricator : string = "5e06d924f8eba5df354c690ceb693e454e965d16"
   -- "repository version for phabricator"
isabelle