Menu

#5242 Make context-defs-from-music warn when missing context

Fixed
Defect
2017-11-28
2017-11-22
No

Make context-defs-from-music warn when missing context

Previously, this caused an error.

http://codereview.appspot.com/338970043

Discussion

  • Anonymous

    Anonymous - 2017-11-23
    • Description has changed:

    Diff:

    
    
    • Needs: -->
    • Patch: new --> review
     
  • Anonymous

    Anonymous - 2017-11-23

    Passes make, make check and a full make doc.

     
  • Anonymous

    Anonymous - 2017-11-25

    Patch on countdown for Nov 28th

     
  • Anonymous

    Anonymous - 2017-11-28
    • Patch: review --> push
     
  • Anonymous

    Anonymous - 2017-11-28

    Patch counted down - please push

     
  • David Kastrup

    David Kastrup - 2017-11-28
    • labels: --> Fixed_2_21_0
    • status: Started --> Fixed
    • Patch: push -->
    • Type: Enhancement --> Defect
     
  • David Kastrup

    David Kastrup - 2017-11-28

    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.
    
     
MongoDB Logo MongoDB