]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
add some text to indicate that we do not forbid modifications to the menu policy
authorDon Armstrong <don@donarmstrong.com>
Tue, 28 Jul 2015 15:32:43 +0000 (08:32 -0700)
committerDon Armstrong <don@donarmstrong.com>
Tue, 28 Jul 2015 15:32:43 +0000 (08:32 -0700)
741573_menu_systems/dla_draft.txt

index fa244094df5b5bda05c077ef5dcd12d57fde47b8..8c237393de7f744eac0d841566a2ee2e87aff710 100644 (file)
@@ -18,6 +18,9 @@ OPTION A:
    1. The Technical Committee adopts the changes proposed by Charles
       Plessy in ba679bff[1].
 
+   2. Further modifications to the menu policy are allowed using the
+      normal policy modification process.
+
 [1]: http://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=ba679bff76f5b9152f43d5bc901b9b3aad257479
 
 Using its power under ยง6.1.5 to offer advice:
@@ -31,6 +34,9 @@ OPTION B:
    1. Considers that the policy procedure resulted in consensus, and
       adopts the changes proposed by Charles Plessy in ba67bff.[1]
 
+   2. Further modifications to the menu policy are allowed using the
+      normal policy modification process.
+
 [1]: http://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=ba679bff76f5b9152f43d5bc901b9b3aad257479
 
 OPTION C:
@@ -38,6 +44,9 @@ OPTION C:
   1. The Technical Committee adopts the changes proposed by Bill
      Allombert.[1]
 
+  2. Further modifications to the menu policy are allowed using the
+     normal policy modification process.
+
 [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?att=1;filename=patch2;bug=707851;msg=446
 
 OPTION Z: