Skip to content

Now checking for @deprecated location correctness#2018

Merged
andimarek merged 4 commits into
masterfrom
deprecated-directive-is-checked-for-location-correctedness
Nov 2, 2020
Merged

Now checking for @deprecated location correctness#2018
andimarek merged 4 commits into
masterfrom
deprecated-directive-is-checked-for-location-correctedness