Show patches with:
Series = [COMMITTED] ada: Fix decoration of iterated component association for GNATprove
|
State = Action Required
|
Archived = No
| 1
patch