Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 71508 a8849ac415cc
parent 71422 5d5be87330b5
child 71651 e26cfcbe20f7 
--- 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