Commit eade8c32 authored by Ramon Nou's avatar Ramon Nou
Browse files

try to fix segfault

parent 9239eace