Revert "kprintf.9: Remove unneeded header."
commit97b5e1639a701f93bfe56797abac052a46d0c544
authorSascha Wildner <saw@online.de>
Tue, 21 Nov 2017 07:25:48 +0000 (21 08:25 +0100)
committerSascha Wildner <saw@online.de>
Tue, 21 Nov 2017 07:25:48 +0000 (21 08:25 +0100)
treec31f9a4cca628759ba4efcabd9e3cff2d7ff4b93
parentdbb5d235a84b2aa354a9d5745aa6a02ac9a26c50
Revert "kprintf.9: Remove unneeded header."

This reverts commit dbb5d235a84b2aa354a9d5745aa6a02ac9a26c50.

The header was actually useful because <sys/syslog.h> has the
priority definitions.
share/man/man9/kprintf.9