727708: options lettered rather than numbered

diff --git a/727708_initsystem/draft-resolution.txt b/727708_initsystem/draft-resolution.txt
index 3dbdacea9268b6dea77500df0808468ac0fa1e4c..1f9a31051a9c89940447eb824ebc403279be8f17 100644 (file)
--- a/727708_initsystem/draft-resolution.txt
+++ b/727708_initsystem/draft-resolution.txt
@@ -1,12 +1,12 @@
-  The default init system for Linux architectures in jessie should be
+  The default init system for Linux architectures in jessie should be:
 
-  1.  systemd
+  D.  systemd
 
-  2.  upstart
+  U.  upstart
 
-  3.  openrc
+  O.  openrc
 
-  4.  sysvinit (no change)
+  V.  sysvinit (no change)
 
-  5.  requires further discussion.
+  FD.  requires further discussion.