Closed fogti closed 5 years ago
I'm trying to push for a release for some minor changes that have serious impact on users. If you don't mind, I would like to hold off on this one.
This fixes an issue with rustc 1.27.0 (and probably 1.28.0, too), which doesn't apply the (#allow) unknown_lints, renamed_and_removed_lints
to unused_doc_comment, unused_doc_comments
, when these lints-to-ignore are in the same line
Thanks, that was news to me!
I think that the following modification (seen in quick-error) could work here, to fix issue #251. I splitted the problematic part in two parts: