Commit 6f45f422 authored by lengyelb's avatar lengyelb
Browse files

Revert "Merge branch..." 

This reverts merge request !1813
parent 884f0160