From 1522090b4cd7a8b7c7e83e316c79bc8c06ab62e9 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 27 Nov 2019 17:14:51 -0500
Subject: Make the string argument of `time` print correctly

Fixes #10971
---
 doc/changelog/04-tactics/11203-fix-time-printing.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/04-tactics/11203-fix-time-printing.rst

(limited to 'doc')

diff --git a/doc/changelog/04-tactics/11203-fix-time-printing.rst b/doc/changelog/04-tactics/11203-fix-time-printing.rst
new file mode 100644
index 0000000000..cdfd2b228e
--- /dev/null
+++ b/doc/changelog/04-tactics/11203-fix-time-printing.rst
@@ -0,0 +1,4 @@
+- The optional string argument to :tacn:`time` is now properly quoted
+  under :cmd:`Print Ltac` (`#11203
+  <https://github.com/coq/coq/pull/11203>`_, fixes `#10971
+  <https://github.com/coq/coq/issues/10971>`_, by Jason Gross)
-- 
cgit v1.2.3