No matches were found for subject:"Issue 3728 in reviewboard\: Copy\/paste code diff doesn't work in Firefox 35"