Introduce a `warn_deprecated` helper - #964

Closed

florimondmanca wants to merge 1 commit into

warn-deprecated

Commits on May 21, 2020

Introduce a `warn_deprecated` helper
florimondmanca
committed
0a56c5e