On Mon, Aug 05, 2013 at 01:13:28AM +0200, Jan Engelhardt wrote: > This includes regularly-submitted corrections to comma setting and > orthographical mishaps that appeared in man/ in recent commits. Thanks, applied. Zbyszek