Rollup merge of #77262 - bugadani:redundant-comment, r=Dylan-DPC

Remove duplicate comment
This commit is contained in:
Jonas Schievink 2020-09-27 18:37:28 +02:00 committed by GitHub
commit 65298ee49c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions

View File

@ -1103,9 +1103,6 @@ impl Session {
self.used_attrs.lock().is_marked(attr)
}
/// Returns `true` if the attribute's path matches the argument. If it matches, then the
/// attribute is marked as used.
/// Returns `true` if the attribute's path matches the argument. If it
/// matches, then the attribute is marked as used.
///