Fix case label removal#2368

JojoFlex1 wants to merge 4 commits intorust-lang:masterrust-lang/triagebot:masterfrom

JojoFlex1:fix-case-insensitive-label-removalJojoFlex1/triagebot:fix-case-insensitive-label-removalCopy head branch name to clipboard