This repository was archived by the owner on Feb 16, 2024. It is now read-only.
This repository was archived by the owner on Feb 16, 2024. It is now read-only.
Automatic bug reporting #139
Description
If something goes wrong, the tool should automatically report the bug. It doesn't have to be in GitHub, and it can be in our own webpage. This also makes a privacy policy a new requirement.