17e10ff918
Jelena: this should solve the issue you faced today. This commit was SVN r15668.
Jelena: this should solve the issue you faced today. This commit was SVN r15668.