Closed pverscha closed 2 years ago
This PR provides a fix for #221. The button to restart the construction of a custom database was sometimes wrongly disabled.
This PR provides a fix for #221. The button to restart the construction of a custom database was sometimes wrongly disabled.