Make context-defs-from-music warn when missing context
Previously, this caused an error.
http://codereview.appspot.com/338970043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Nov 28th
Patch counted down - please push
Pushed to staging as commit 8d889e98371302068af44e1d533e2b4b1a3300b9 Author: David Kastrup dak@gnu.org Date: Wed Nov 22 17:56:43 2017 +0100
Issue 5242: Make context-defs-from-music warn when missing context Previously, this caused an error.
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Nov 28th
Patch counted down - please push
Pushed to staging as
commit 8d889e98371302068af44e1d533e2b4b1a3300b9
Author: David Kastrup dak@gnu.org
Date: Wed Nov 22 17:56:43 2017 +0100