Skip to content

Fix clearing signs: also clear branchuncovered signs#25

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

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

Commits

Commits on Jun 1, 2019