Nope, it's still in the file. You might not have pushed up that commit, though.