-
Emmanuele Bassi authored
We need to ensure that deprecated and unavailable symbols are still exported, so we should use our own symbol. While at it, the deprecation warnings should be toggleable.
e3bedf06
We need to ensure that deprecated and unavailable symbols are still exported, so we should use our own symbol. While at it, the deprecation warnings should be toggleable.