Menu

#5076 NR: default markFormatter is format-mark-letters

Verified
Documentation
2017-04-03
2017-02-20
No

NR: default markFormatter is format-mark-letters

http://codereview.appspot.com/317330043

Discussion

  • Anonymous

    Anonymous - 2017-02-21
    • Description has changed:

    Diff:

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

    Anonymous - 2017-02-21

    Passes make, make check and a full make doc.

     
  • Anonymous

    Anonymous - 2017-02-23
    • Patch: review --> countdown
     
  • Anonymous

    Anonymous - 2017-02-23

    Patch on countdown for Feb 26th

     
  • Anonymous

    Anonymous - 2017-02-26
    • Patch: countdown --> push
     
  • Anonymous

    Anonymous - 2017-02-26

    Patch counted down - please push.

     
  • David Kastrup

    David Kastrup - 2017-02-27
    • labels: --> Fixed_2_19_57
    • status: Started --> Fixed
    • Patch: push -->
    • Type: Enhancement --> Documentation
     
  • David Kastrup

    David Kastrup - 2017-02-27

    Pushed to staging as
    commit 4b5a7374324ce1cc4ee1249e4f1c273a0e1b27a5
    Author: David Kastrup dak@gnu.org
    Date: Mon Feb 20 13:54:19 2017 +0100

    Issue 5076: NR: default markFormatter is format-mark-letters
    
     
  • Graham Percival

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