v15.8

August 19th 2015: Marvin 15.8.17

No changes.

August 11th 2015: Marvin 15.8.10

No changes.