Menu

#5620 Change vector<Grob *> to vector<Paper_column *>

Fixed
Dan Eble
Enhancement
2019-12-02
2019-11-25
Dan Eble
No

Discussion

  • Dan Eble

    Dan Eble - 2019-11-27
    • Needs: -->
    • Type: --> Enhancement
     
  • Anonymous

    Anonymous - 2019-11-28
    • Patch: new --> review
     
  • Anonymous

    Anonymous - 2019-11-28

    Passes make, make check and a full make doc.

     
  • Anonymous

    Anonymous - 2019-11-30
    • Patch: review --> countdown
     
  • Anonymous

    Anonymous - 2019-11-30

    Patch on countdown for Dec 2nd.

     
  • Anonymous

    Anonymous - 2019-12-02
    • Patch: countdown --> push
     
  • Anonymous

    Anonymous - 2019-12-02

    Patch counted down - please push.

     
  • Dan Eble

    Dan Eble - 2019-12-02
    • labels: --> Fixed_2_21_0
    • status: Started --> Fixed
    • Patch: push -->
     
  • Dan Eble

    Dan Eble - 2019-12-02
    commit b236a3a1721cdea8ffce23c1448a014078cc1b82
    Author: Dan Eble <nine.fierce.ballads@gmail.com>
    Date:   Mon Nov 25 09:31:51 2019 -0500
    
        Issue 5620/2: Change vector<Grob *> to vector<Paper_column *>
    
    commit c77cacf79cc59ab8cec7da30ac34e98eea96448d
    Author: Dan Eble <nine.fierce.ballads@gmail.com>
    Date:   Fri Jun 8 21:09:19 2018 -0400
    
        Issue 5620/1: Reduce dynamic_casting in Paper_column searches