Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
  2. afford more logging (following defaults on Ubuntu);
Changeset 71440:8b0b8b9ea653 by wenzelm:
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71439:760e19aa9b09 by wenzelm:
afford more logging (following defaults on Ubuntu);
The file was modified src/Pure/Tools/phabricator.scala (diff)