Skip to content

fixed-in-PR: a label for an issue whose fix is already written - #825

Open
lmoresi wants to merge 2 commits into
developmentfrom
tooling/fixed-in-pr-label
Open

fixed-in-PR: a label for an issue whose fix is already written#825
lmoresi wants to merge 2 commits into
developmentfrom
tooling/fixed-in-pr-label

fixed-in-PR, not fixed-in-development: the fix is often not merged at…

2e63777
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar