make drop_exists() case-insensitive - #177

make drop_exists() case-insensitive#177

dholstius wants to merge 1 commit into

karthik:masterkarthik/rdrop2:masterfrom

dholstius:drop-exists-case-insensitivedholstius/rdrop2:drop-exists-case-insensitiveCopy head branch name to clipboard