That looks good to me; thanks.
- New substitution: top_build_prefix Ralf Wildenhues
- Re: New substitution: top_build_prefix Ralf Wildenhues
- Re: New substitution: top_build_prefix Benoit Sigoure
- Re: New substitution: top_build_prefix Paul Eggert
- Re: New substitution: top_build_prefix Ralf Wildenhues
- Re: New substitution: top_build_prefix Benoit Sigoure
- Re: New substitution: top_build_prefix Eric Blake
- Re: New substitution: top_build_prefix Ralf Wildenhues
- Re: New substitution: top_build_prefix Benoit Sigoure
- Re: New substitution: top_build_pref... Ralf Wildenhues
