So there are some very old clusters I want to delete. I go to the cluster details and hit delete, but the entries are not removed.
![image](https://user-images.githubusercontent.com/105243/90020068-fd98d900-dcb7-11ea...)
Closed #997.
Sorry. I was on the wrong screen.
Haha, I was so confused. @pveentjer coffee first, then Github 😉
Related: #998
github-comments@lists.geany.org