@kru0052
Status changed to merged
By Lukas Krupcik on 2016-08-26T19:43:47 (imported from GitLab project)
mentioned in commit 2ccc6686