Skip to content

Fix clearing signs: also clear branchuncovered signs#25

Open
blueyed wants to merge 2 commits into
alfredodeza:masterfrom
blueyed:fix-clear
Open

Fix clearing signs: also clear branchuncovered signs#25
blueyed wants to merge 2 commits into
alfredodeza:masterfrom
blueyed:fix-clear

Commits

Commits on Jun 1, 2019