Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on first push: "couldn't write revision branch cache names";
Changeset 71281:5b3a813853bb by wenzelm:
tuned message;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71280:5a2033fc8f3d by wenzelm:
avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on first push: "couldn't write revision branch cache names";
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)