Version 1.88.0
--------------

No changes since 1.87.90, only maintenance for CI.