Release-0.2.5
Yet another incremental release!
This time, we fixed issues having to do with our support for libstdc++. Sadly, if you want to use libstdc++, you will not be able to make use of the AutoFilter support the library has, but as none of our known customers currently requires AutoFilter in conjunction with libstdc++, this should be a problem.