Commit e12991712920be44d0ff89431189f170f155f195

Patrick Steinhardt 2020-04-02T13:13:52

Merge pull request #5440 from pks-t/pks/cmake-streamlining CMake: backend selection streamlining