https://bugzilla.kernel.org/show_bug.cgi?id=217435 --- Comment #2 from Keith Marshall (keith.d.marshall@xxxxxxxxxxxx) --- (In reply to Mingye Wang from comment #1) > man7.org is not affiliated with the Linux man-pages project. You will have > more luck reporting at https://github.com/mkerrisk/man-pages/issues. Strange then, that man7.org itself seems to direct here, for bug reporting; furthermore, that github repo, which has shown no developer activity in the last two years, requests that bug reports be directed here, and not to its issue tracker. Never mind. Michael apparently doesn't care that man7.org is poorly maintained, so why should I? Sorry to have troubled you. -- You may reply to this email to add a comment. You are receiving this mail because: You are watching the assignee of the bug.