-
Benjamin Otte authored
This way, we can include them without accidentally including deprecated code. Which means we can still use the recently added turning-off tricks for deprecation warnings.
24b9599a
This way, we can include them without accidentally including deprecated code. Which means we can still use the recently added turning-off tricks for deprecation warnings.