Merge tag 'timers-urgent-2020-06-28' of git://git.kernel.org/pub/scm/linux/kernel...
authorLinus Torvalds <torvalds@linux-foundation.org>
Sun, 28 Jun 2020 18:59:08 +0000 (11:59 -0700)
committerLinus Torvalds <torvalds@linux-foundation.org>
Sun, 28 Jun 2020 18:59:08 +0000 (11:59 -0700)
Pull timer fix from Ingo Molnar:
 "A single DocBook fix"

* tag 'timers-urgent-2020-06-28' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip:
  timekeeping: Fix kerneldoc system_device_crosststamp & al


Trivial merge