Lines Matching full:patches
6436 .\" or shortcut for mksh or mksh/Win32; distro patches are ok (but we6531 .\" with vendor patches from insert-your-name-here,