Let \overrideProperty use ApplyOutputEvent.symbol
http://codereview.appspot.com/296660043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for July 10th.
Patch counted down - please push.
Pushed to staging as commit 9a7a86622af9ce0a8f36e0a6c1e08d8a54dd8e3c Author: David Kastrup dak@gnu.org Date: Sun Jul 3 16:06:59 2016 +0200
Issue 4916: Let \overrideProperty use ApplyOutputEvent.symbol
Diff:
Passes make, make check and a full make doc.
Patch on countdown for July 10th.
Patch counted down - please push.
Pushed to staging as
commit 9a7a86622af9ce0a8f36e0a6c1e08d8a54dd8e3c
Author: David Kastrup dak@gnu.org
Date: Sun Jul 3 16:06:59 2016 +0200