v1.5.15

Maintenance update. No new features are announced in this release.