fixing issue 1180 by applying the quick hack which fixed it for the red ... #215

Merged
tobiasd merged 1 commit from fix_1180 into master 2014-10-07 08:44:11 +02:00

1 commit