This repository has been archived by the owner on Oct 30, 2023. It is now read-only.

selecting next target proof spin issue #537

Open

nikitam747 opened this issue Sep 24, 2018 · 0 comments

Assignees

Labels

Fixes

Collaborator

nikitam747 commented Sep 24, 2018

when selecting next target proof spinner comes and won't go. after reloading its working.

nikitam747 added the Fixes label

nikitam747 assigned HarshOB

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.