Comment # 6 on bug 79895 from darkbasic

P.S.
Maybe we should simply close it considering how old this bug report is and not
being able to test it: it has probably already being fixed.