Commit 44b3b9feca37be4837096853ceaf1f5545c532d5

Patrick Steinhardt 2017-03-20T11:05:03

Merge pull request #4162 from pks-t/pks/merge-source-fixes merge_driver: fix const-correctness for source getters