Commit db5de5ef authored by fotopoulou's avatar fotopoulou
Browse files

fix crash reported in BASOP issue 1585

parent 6a06b484