Skip to content
Snippets Groups Projects
user avatar
Matthias Schiffer authored
This reverts commit 582635b0.

The segfault issue has disappeared, so the workaround is not needed
anymore.
0d07d179
History
Name Last commit Last update