Closed deivid-rodriguez closed 4 years ago
The problem was man pages are out of date.
My fix is to bring them up to date.
@bundlerbot merge
And happy new year from bors! 🎉
What was the end-user problem that led to this PR?
The problem was man pages are out of date.
What is your fix for the problem, implemented in this PR?
My fix is to bring them up to date.