727708: add GR option

diff --git a/727708_initsystem/draft-resolution.txt b/727708_initsystem/draft-resolution.txt
index 1eebffbf1bf3600176e6f0825c9dc6097c7652ad..87a3ce1fd6fec2bc4e74b276a989e07d80fa5693 100644 (file)
--- a/727708_initsystem/draft-resolution.txt
+++ b/727708_initsystem/draft-resolution.txt
@@ -18,6 +18,11 @@
    The default init system for Linux architectures in jessie should
    be sysvinit (no change).
 
+== version GR ==
+
+   The Technical Committee requests that the project decide the
+   default init system for jessie by means of General Resolution.
+
 == optional rider M ==
 
    Debian intends to support multiple init systems, for the
@@ -30,7 +35,7 @@
    degraded operation while running under the init system the patch
    enables interoperation with.
 
-== rider for all versions ==
+== rider for all versions except GR ==
 
    This decision is automatically vacated by any contrary General
    Resolution which passes by a simple majority.  In that case the