Merge branch 'master' of /Volumes/CaseSensitiveDisk/linux