{json|html}docck: catch and error on deprecated syntax#137103
Merged
bors merged 3 commits intorust-lang:masterfrom Mar 3, 2025
Merged
{json|html}docck: catch and error on deprecated syntax#137103bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom