Closed danieldeutsch closed 4 years ago
Fixes #33
For now, we only try to detect the error since fixing it is more complicated.
Fixes #33