From e8bbb766207303ea184992ed632797c7765855e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20K=C4=99pie=C5=84?= <michal@isc.org>
Date: Tue, 12 Dec 2017 11:03:03 +0100
Subject: [PATCH] [master] Correct the default value of print-time in ARM

---
 doc/arm/Bv9ARM-book.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml
index edea08e666..eca9320332 100644
--- a/doc/arm/Bv9ARM-book.xml
+++ b/doc/arm/Bv9ARM-book.xml
@@ -3857,7 +3857,7 @@ notrace</command>. All debugging messages in the server have a debug
 	    logged in ISO8601 format.  If set to
 	    <userinput>iso8601-utc</userinput>, then the date and time
 	    are logged in ISO8601 format, with time zone set to
-	    UTC. The default is <userinput>local</userinput>.
+	    UTC. The default is <userinput>no</userinput>.
 	  </para>
 	  <para>
 	    <command>print-time</command> may