Menu

#5087 Let extendersOverRests default to ##t

Verified
Defect
2017-04-02
2017-03-07
No

Let extendersOverRests default to ##t

This was effectively unchangingly the case before issue 5053
fixed the respective code. However, the relation to actual
behavior seems so tenuous that it appears more prudent to
reenable this by default and only disable it again (if at all)
once the behavior corresponds better with name and documentation.

http://codereview.appspot.com/318660043

Discussion

  • Anonymous

    Anonymous - 2017-03-08

    Passes make, make check and a full make doc.

     
  • Anonymous

    Anonymous - 2017-03-08
    • Description has changed:

    Diff:

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

    Anonymous - 2017-03-10
    • Patch: review --> countdown
     
  • Anonymous

    Anonymous - 2017-03-10

    Patch on countdown for March 13th.

     
  • Anonymous

    Anonymous - 2017-03-13
    • Patch: countdown --> push
     
  • Anonymous

    Anonymous - 2017-03-13

    Patch counted down - please push.

     
  • David Kastrup

    David Kastrup - 2017-03-13
    • labels: --> Fixed_2_19_58, Regression
    • status: Started --> Fixed
    • Patch: push -->
    • Type: Enhancement --> Defect
     
  • David Kastrup

    David Kastrup - 2017-03-13

    Pushed to staging as
    commit 172bf982f622911271271d6f07908e95e65f3d10
    Author: David Kastrup dak@gnu.org
    Date: Tue Mar 7 18:47:30 2017 +0100

    Issue 5087: Let extendersOverRests default to ##t
    
    This was effectively unchangingly the case before issue 5053
    fixed the respective code.  However, the relation to actual
    behavior seems so tenuous that it appears more prudent to
    reenable this by default and only disable it again (if at all)
    once the behavior corresponds better with name and documentation.
    
     
  • Graham Percival

    Graham Percival - 2017-04-02
    • status: Fixed --> Verified
     
  • Graham Percival

    Graham Percival - 2017-04-02

    Verified commit in git.