diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-29 14:25:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-01 23:28:38 +0200 |
| commit | f8190123ff989e38f9e196260119453b13739ded (patch) | |
| tree | 078e8778e2bc6da1b5b7ca2e641a931e8d08ddfe /dev | |
| parent | 033c32a32fedcf2160bb38a3fed55efa9d1c2b77 (diff) | |
[api] Fix wrong deprecation warning (#7915)
Fixes: #7915.
Due to a change in the original misctypes removal PR, the deprecation
notice went out of sync.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions