Ignore extensions inside attributes for the unused extension check#616

Skepfyr wants to merge 2 commits intoocaml-ppx:mainocaml-ppx/ppxlib:mainfrom

janestreet:jrickard/ignore-extensions-in-attributesjanestreet/ppxlib:jrickard/ignore-extensions-in-attributesCopy head branch name to clipboard