Menu

#5819 Remove unused declaration Score_performer::header

Fixed
Enhancement
2020-03-10
2020-03-05
No

Discussion

  • Anonymous

    Anonymous - 2020-03-05
    • Needs: -->
    • Patch: new --> review
     
  • Anonymous

    Anonymous - 2020-03-05

    Passes make, make check and a full make doc

     
  • Anonymous

    Anonymous - 2020-03-07
    • Patch: review --> countdown
     
  • Anonymous

    Anonymous - 2020-03-07

    Patch on countdown for March 9th

     
  • Anonymous

    Anonymous - 2020-03-09
    • Patch: countdown --> push
     
  • Anonymous

    Anonymous - 2020-03-09

    Patch counted down, please push.

     
  • Jonas Hahnfeld

    Jonas Hahnfeld - 2020-03-10
    • labels: --> Fixed_2_21_0
    • status: Started --> Fixed
    • Patch: push -->
     
  • Jonas Hahnfeld

    Jonas Hahnfeld - 2020-03-10
    commit cf95c9a3ef8be6493f2b496b6e99ac708f4dcb68
    Author:     Han-Wen Nienhuys <hanwen@lilypond.org>
    AuthorDate: Wed Jan 29 07:40:35 2020 +0100
    Commit:     Han-Wen Nienhuys <hanwen@lilypond.org>
    CommitDate: Mon Mar 9 09:44:08 2020 +0100
    
        Remove unused declaration Score_performer::header
    
     
MongoDB Logo MongoDB