Attention is currently required from: Angel Pons.
Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/libgfxinit/+/68112?usp=email )
Change subject: gma: Work around GNATprove issue with nested loops
......................................................................
Patch Set 3: Verified+1
(1 comment)
Commit Message:
https://review.coreboot.org/c/libgfxinit/+/68112/comment/bac4618d_7fdc1608 :
PS1, Line 10: weird check messages.
Problems were varying from toolchain version to version, I'll check with something newish.
Done
--
To view, visit
https://review.coreboot.org/c/libgfxinit/+/68112?usp=email
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-Change-Id: I5430081767c760b85401300e0db4d26fd78270d7
Gerrit-Change-Number: 68112
Gerrit-PatchSet: 3
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Angel Pons
th3fanbus@gmail.com
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Attention: Angel Pons
th3fanbus@gmail.com
Gerrit-Comment-Date: Sun, 04 Jun 2023 11:56:52 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Comment-In-Reply-To: Nico Huber
nico.h@gmx.de
Comment-In-Reply-To: Angel Pons
th3fanbus@gmail.com
Gerrit-MessageType: comment