[changelog] Indicate a replacement for deprecated syntax of debug / i…

…nfo_eauto.
coq · Nov 19, 2020 · c63c397 · c63c397
1 parent 3037172
commit c63c397
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/changelog/04-tactics/13381-bfs_eauto.rst b/doc/changelog/04-tactics/13381-bfs_eauto.rst
@@ -1,6 +1,6 @@
 - **Deprecated:**
   Undocumented :n:`eauto @int_or_var @int_or_var` syntax in favor of new ``bfs eauto``.
-  Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``;
-  replacement TBD.
+  Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``.
+  (Use ``bfs eauto`` with the :flag:`Info Eauto` or :flag:`Debug Eauto` flags instead.)
   (`#13381 <https://github.com/coq/coq/pull/13381>`_,
   by Jim Fehrle).