build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/37574 )
Change subject: lib/gnat: (test)Update files to latest version ......................................................................
Patch Set 1:
(1 comment)
https://review.coreboot.org/c/coreboot/+/37574/1/src/lib/gnat/s-parame.ads File src/lib/gnat/s-parame.ads:
https://review.coreboot.org/c/coreboot/+/37574/1/src/lib/gnat/s-parame.ads@9... PS1, Line 97: -- overriden by the user with the use of binder -D switch. 'overriden' may be misspelled - perhaps 'overridden'?