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 6;
authorwenzelm
Mon, 02 Mar 2020 15:33:58 +0100
changeset 71508 a8849ac415cc
parent 71507 39fa41148890
child 71509 dd69ec936dbf
follow Phabricator update 2020 Week 6;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Mon Mar 02 14:09:39 2020 +0100
+++ b/etc/options	Mon Mar 02 15:33:58 2020 +0100
@@ -291,7 +291,7 @@
 option phabricator_version_libphutil : string = "034cf7cc39940b935e83923dbb1bacbcfe645a85"
   -- "repository version for libphutil"
 
-option phabricator_version_phabricator : string = "46fcd135ae681bb90a1282114fb2147ab21e4f34"
+option phabricator_version_phabricator : string = "ff6f24db2bc016533bca9040954a218c54ca324e"
   -- "repository version for phabricator"
isabelle