Denis Vlasenko 8d42f86b14 Correcting branch name to be like previous ones 18 years ago
..
basename-does-not-remove-identical-extension 8d42f86b14 Correcting branch name to be like previous ones 18 years ago
basename-works 8d42f86b14 Correcting branch name to be like previous ones 18 years ago