Menu

#3402 Patch: Completion_heads_engraver should declare input property completionUnit

Verified
nobody
Defect
2013-06-30
2013-06-06
Anonymous
No

Originally created by: *anonymous

Originally created by: dak@gnu.org
Originally owned by: dak@gnu.org

Completion_heads_engraver should declare input property completionUnit

http://codereview.appspot.com/10036046

Discussion

  • Google Importer

    Google Importer - 2013-06-06

    Originally posted by: dak@gnu.org

    (No comment was entered for this change.)

    Owner: dak@gnu.org

     
  • Google Importer

    Google Importer - 2013-06-06

    Originally posted by: dak@gnu.org

    Patchy the autobot says: passes tests.

    Labels: -Patch-new Patch-review

     
  • Google Importer

    Google Importer - 2013-06-06

    Originally posted by: pkx1...@gmail.com

    Patchy the autobot says: passes make, make test and a full make doc.

     
  • Google Importer

    Google Importer - 2013-06-09

    Originally posted by: pkx1...@gmail.com

    Patch on Countdown for June 12 - 06:00 GMT

    Labels: -Patch-review Patch-countdown

     
  • Google Importer

    Google Importer - 2013-06-12

    Originally posted by: pkx1...@gmail.com

    Patch counted down - please push

    Labels: -Patch-countdown Patch-push

     
  • Google Importer

    Google Importer - 2013-06-12

    Originally posted by: dak@gnu.org

    Pushed to staging as
    commit [r8aa4cb6bb69145e54f92f2043762219ca008e144]
    Author: David Kastrup <dak@gnu.org>
    Date:   Thu Jun 6 15:05:40 2013 +0200

        Issue 3402: Completion_heads_engraver should declare input property completionUnit

    Labels: -Type-Enhancement -Patch-push Type-Defect Fixed_2_17_21
    Status: Fixed

     
  • Google Importer

    Google Importer - 2013-06-30

    Originally posted by: Elu...@gmail.com

    (No comment was entered for this change.)

    Status: Verified

     
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.