---
- branch: MAIN
  date: Thu Dec 20 08:32:55 UTC 2018
  files:
  - new: '1.494'
    old: '1.493'
    path: src/share/man/man4/options.4
    pathrev: src/share/man/man4/options.4@1.494
    type: modified
  id: 20181220T083255Z.d6368bcd38f0295a12d0fb1f5e5a6c1c0b786f32
  log: |
    Document 'options NO_PREEMPTION'

    With prompting from Christoph Badura.
  module: src
  subject: 'CVS commit: src/share/man/man4'
  unixtime: '1545294775'
  user: cherry