Merge pull request #3840 from FernetMenta/linux
authorRainer Hochecker <fernetmenta@online.de>
Tue, 17 Dec 2013 06:56:04 +0000 (22:56 -0800)
committerRainer Hochecker <fernetmenta@online.de>
Tue, 17 Dec 2013 06:56:04 +0000 (22:56 -0800)
linux: allow root user to raise priority


Trivial merge