Commit 8cdd3b05 authored Sep 27, 2017 by Andreas Klöckner

Merge branch 'api' into 'master'

API

See merge request inducer/relate!50