Closed kalj closed 3 years ago
Oh, thanks for catching! Instead of simply removing the old version, can you deprecate the old version (using the
c++14
deprecated
attribute) instead?
Ah, I see. Sure.
We can wait for the CI to finish and, if @GiulioRomualdi agrees, we can merge.
Oh, thanks for catching! Instead of simply removing the old version, can you deprecate the old version (using the
c++14
deprecated
attribute) instead?