From c27d9c3c97b18cb34a5997beb73b3740a1c010b1 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Fri, 1 Nov 2013 22:47:01 +0000
Subject: refresh patches

---
 debian/patches/rc.patch | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'debian/patches/rc.patch')

diff --git a/debian/patches/rc.patch b/debian/patches/rc.patch
index fffbb467..a4be4aa5 100644
--- a/debian/patches/rc.patch
+++ b/debian/patches/rc.patch
@@ -19,11 +19,11 @@ More debianish rc scripts
 +		fsysopts / --update --writable
  		;;
  	# Filesystem modified (but ok now)
- 	1 | 2)
+ 	1)
 +		fsysopts / --update --writable
  		;;
- 	# Fsck couldn't fix it.
- 	4 | 8)
+ 	# Filesystem modified, filesystem should be restarted
+ 	# Ideally we would only restart the filesystem
 @@ -85,12 +88,25 @@ if test -d /tmp; then
  
  fi
-- 
cgit v1.2.3