Hi,
Kevin, are you okay with tagging SeaBIOS master as 1.7.2 one of these days? Other opinions?
A new release can be produced if desired. Given that there isn't much new since 1.7.1 I too would prefer to just push forward to 1.7.2.
Ping? Meanwhile 1.4 freeze is in sight (soft freeze in one week, hard freeze + -rc0 feb 1st).
cheers, Gerd