# HG changeset patch
# User wenzelm
# Date 1475583965 -7200
# Node ID 2989c1f2593a692193e7c4e951ebb466c6cdadb9
# Parent  46c1ffc78d73a725d86ba894b6fb524c2c0aef70
tuned signature;

diff -r 46c1ffc78d73 -r 2989c1f2593a src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Tue Oct 04 14:20:26 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Tue Oct 04 14:26:05 2016 +0200
@@ -46,8 +46,8 @@
     def manifest(rev: String = "", options: String = ""): List[String] =
       command("manifest " + options + opt_rev(rev)).check.out_lines
 
-    def log(rev: String = "", options: String = ""): String =
-      Library.trim_line(command("log " + options + opt_rev(rev)).check.out)
+    def log(rev: String = "", template: String = "", options: String = ""): String =
+      Library.trim_line(command("log " + options + opt_rev(rev) + opt_template(template)).check.out)
 
     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
       command("pull " + options + opt_rev(rev) + optional(remote)).check