Whamcloud - gitweb
remove dead directory 'patches' from EXTRA_DIST
drwxr-xr-x - lustre