NR: default markFormatter is format-mark-letters
http://codereview.appspot.com/317330043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Feb 26th
Patch counted down - please push.
Pushed to staging as commit 4b5a7374324ce1cc4ee1249e4f1c273a0e1b27a5 Author: David Kastrup dak@gnu.org Date: Mon Feb 20 13:54:19 2017 +0100
Issue 5076: NR: default markFormatter is format-mark-letters
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Feb 26th
Patch counted down - please push.
Pushed to staging as
commit 4b5a7374324ce1cc4ee1249e4f1c273a0e1b27a5
Author: David Kastrup dak@gnu.org
Date: Mon Feb 20 13:54:19 2017 +0100