From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 30 Jan 2014 14:13:27 +0000 (+0000)
Subject: 727708: options lettered rather than numbered
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=a3a923bb67396afe2e44bd656db6e2043b7ba9bf;p=debian-ctte.git

727708: options lettered rather than numbered
---

diff --git a/727708_initsystem/draft-resolution.txt b/727708_initsystem/draft-resolution.txt
index 3dbdace..1f9a310 100644
--- 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.