Started 4 yr 12 mo ago
Took 18 min on builtin

Build #195 (Dec 27, 2019 6:31:54 PM)

PR #2672: man: fix required kernel ve...
No changes.

GitHub pull request #2672 of commit 735dbebbed7dcd47ad08a7dacf10620f10432c64, no merge conflicts.