victorg
committed
on 03 Jul 14
Fixing bug 3223