-
Johannes Schmid authored
This bug was caused by a memory error in the javascript plugin that is now fixed. Also fixed some memory leaks.
4b41d026
This bug was caused by a memory error in the javascript plugin that is now fixed. Also fixed some memory leaks.