[SeaBIOS] Re: [ANNOUNCE] SeaBIOS 1.16.0

[Michael Tokarev]

02.03.2022 05:19, Kevin O'Connor rote:
> The 1.16.0 version of SeaBIOS has now been released.  For more
> information on the release, please see:

Hi Kevin!
This release seems to be missing at https://www.seabios.org/downloads/ -
there are binaries in there, but not the source. Is it intentional?

Thanks,

/mjt