Comment polishing.

This commit is contained in:
Eric S. Raymond 2023-03-12 17:14:18 -04:00
parent db8ca5eb26
commit 47c3d14a11