Re: grub: as version numbers

[Alessandro Rubini]

>   Thanks for your report. I've fixed it.

Good. And fast.

> IMO, checking for a version number explicitly is against the spirit
> of Autoconf. So I have added a workaround into stage1.S instead.

I agree. I spent some time trying to understand the error to provide
you with a proposed patch, but didn't manage to.

/alessandro (who subscribed to the list after reading some docs :)