[SeaBIOS] Re: [PATCH v3] optionrom: disallow int19 redirect for pnp roms.

[Gerd Hoffmann]

On Tue, May 21, 2019 at 11:58:50AM -0500, Matt DeVillier wrote:
> verified working here, thanks Gerd

Thanks for testing, pushed to master.

cheers,
  Gerd