Commit bb342159d83a697461c23b0abfe9bc8e563d7346

Patrick Steinhardt 2017-03-15T11:46:15

merge_driver: fix const-correctness for source getters