Remove leftover from merge
Fabian Affolter • 6 years ago