Hi,
Probably works, but never appeared in a separate release:
commit 3588185b8396eb97fd9efd41c2b97775465f67c4 Author: Gerd Hoffmann <kraxel@redhat.com> Date: Mon Jan 21 09:17:16 2013 +0100 seabios: update to 1.7.2 release
Built with "gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-3)" (rhel-6).
commit 5f876756c57c15f5e14d4136fc432b74f05f082b Author: Anthony Liguori <aliguori@us.ibm.com> Date: Wed Feb 6 05:12:06 2013 -0600 bios: recompile BIOS
gcc version 4.7.2 20121109 (Red Hat 4.7.2-8) (GCC)
commit 5c75fb10029c5fd1e705a6ef5d698fbea06c7a33 Author: Gerd Hoffmann <kraxel@redhat.com> Date: Thu Feb 28 09:18:56 2013 +0100 update seabios to 1.7.2.1
Built with "gcc (GCC) 4.7.2 20121015 (Red Hat 4.7.2-5)" (rhel-6 devtoolkit-1.1) as gcc 4.4 builds are too big and bumb seabios size from 128k to 256k. Which was the reason for anthonys rebuild.
cheers, Gerd