timers-urgent-2020-04-19
tagged this
19 Apr 13:41
instead of clockid numbers. The usability nuisance of numbers was noticed by Michael when polishing the man page.
instead of clockid numbers. The usability nuisance of numbers was noticed by Michael when polishing the man page.