v0.8.13
9d4b5df4 · Fixes since last merge of 'feature/event-notifications' ·