On Sat, May 04, 2019 at 02:16:50PM +0200, Philippe Mathieu-Daudé wrote: > The documentation URL is not working, but is backed up by the > Wayback Machine on the Internet Archive. > Replace the outdated link by a captured one. > Add another link to the VGADOC4b.ZIP archive content.
Added to vga patch queue. thanks, Gerd