Show patches with:
Series = [COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove
|
State = Action Required
|
Archived = No
| 0
patches