On Mon, Jan 07, 2019 at 09:40:30AM +, Jonathan Wakely wrote:
> * doc/install.texi: Replace references to x86_64-unknown-linux-gnu
> with x86_64-pc-linux-gnu.
>
> OK for trunk?
Yes, thanks.
> commit 7586c65abcb0f0967a11639baf1d9332dbc0339c
> Author: Jonathan Wakely
> Date: Mon
* doc/install.texi: Replace references to x86_64-unknown-linux-gnu
with x86_64-pc-linux-gnu.
OK for trunk?
commit 7586c65abcb0f0967a11639baf1d9332dbc0339c
Author: Jonathan Wakely
Date: Mon Jan 7 09:38:51 2019 +
Replace outdated references to x86_64-unknown-linux-gnu
