diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-05-03 19:15:24 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2014-05-06 23:05:39 +0200 |
| commit | 70a44afee385c4afadaab9a002b3f9dd44aedf4a (patch) | |
| tree | e8ac20a767b724fc51de7abdd8a65cb2221fd098 /TODO | |
| parent | d28315e4aff91560ed4c2fc9f876ec8bfc559f2d (diff) | |
doc: typographical fine tuning
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -575,7 +575,7 @@ Features: * support crash reporting operation modes (https://live.gnome.org/GnomeOS/Design/Whiteboards/ProblemReporting) -* default to actual 32bit PIDs, via /proc/sys/kernel/pid_max +* default to actual 32-bit PIDs, via /proc/sys/kernel/pid_max * be able to specify a forced restart of service A where service B depends on, in case B needs to be auto-respawned? |