Merge tag 'timers-urgent-2020-04-19' of git://

Pull time namespace fix from Thomas Gleixner:
 "An update for the proc interface of time namespaces: Use symbolic
  names instead of clockid numbers. The usability nuisance of numbers
  was noticed by Michael when polishing the man page"

* tag 'timers-urgent-2020-04-19' of git://
  proc, time/namespace: Show clock symbolic names in /proc/pid/timens_offsets