Menu ▾ ▴

#4875 Make define-session{,-public} private

Verified
David Kastrup
Fixed_2_19_43 (26)
Maintainability
2016-06-17
2016-06-02
David Kastrup
No

Make define-session{,-public} private

At the current point of time, their execution only makes sense in the
lily module anyway.

http://codereview.appspot.com/296330044

Discussion

  • Anonymous

    Anonymous - 2016-06-03
    • Description has changed:

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

  • Anonymous

    Anonymous - 2016-06-03

    passes make, make check and a full make doc.

     

  • Anonymous

    Anonymous - 2016-06-06
    • Patch: review --> countdown
     

  • Anonymous

    Anonymous - 2016-06-06

    Patch on countdown for June 9th.

     

  • Anonymous

    Anonymous - 2016-06-09
    • Patch: countdown --> push
     

  • Anonymous

    Anonymous - 2016-06-09

    Patch counted down - please push.

     

  • David Kastrup

    David Kastrup - 2016-06-09
    • labels: --> Fixed_2_19_43
    • status: Started --> Fixed
    • Patch: push -->
    • Type: Enhancement --> Maintainability
     

  • David Kastrup

    David Kastrup - 2016-06-09

    Pushed to staging as
    commit 536ecabb8301e3b0c242f2bb5fb1e0df3b194fa0
    Author: David Kastrup dak@gnu.org
    Date: Thu Jun 2 12:34:36 2016 +0200

    Issue 4875: Make define-session{,-public} private

At the current point of time, their execution only makes sense in the
lily module anyway.
     

  • Federico Bruni

    Federico Bruni - 2016-06-17
    • status: Fixed --> Verified