[coreboot-gerrit] Change in libgfxinit[master]: gma: Move a warning justification to spec

[Nico Huber (Code Review)]

Nico Huber has uploaded a new patch set (#2). ( https://review.coreboot.org/20170 )

Change subject: gma: Move a warning justification to spec
......................................................................

gma: Move a warning justification to spec

Makes us compatible with SPARK 2017.

Change-Id: Ie325b913e329ceb522a320c76f1cccf512e5b79f
Signed-off-by: Nico Huber 
---
M common/hw-gfx-gma.adb
M common/hw-gfx-gma.ads
2 files changed, 3 insertions(+), 3 deletions(-)

git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/70/20170/2