doc: add missing deprecation number
I assumed that DEP0XXX
would be replaced automatically during release, like REPLACEME
.
I was wrong. I bet this happens during git node land
, and I have an old version of the bin.
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
tests and/or benchmarks are included -
documentation is changed or added -
commit message follows commit guidelines