Also take into account the previous filename when mentioning#2411

Urgau merged 1 commit into

rust-lang:masterrust-lang/triagebot:masterfrom

Urgau:mentions-previous-filenameUrgau/triagebot:mentions-previous-filenameCopy head branch name to clipboard