Skip to content

Set statement: Check assignee for validity#3195

Closed
jwiesler wants to merge 14 commits into
KeYProject:mainfrom
jwiesler:setStatement
Closed

Set statement: Check assignee for validity#3195
jwiesler wants to merge 14 commits into
KeYProject:mainfrom
jwiesler:setStatement

[bugfix] solving a small glitch in the issue dialog

f31f539
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs