Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

libtool-patches

From:	Christophe Jarry
Subject:	Re: Bug 9210: fix to replace Linux with GNU/Linux where needed
Date:	Mon, 5 Sep 2011 21:10:05 +0200

> Please learn to use git for sending patches; thanks!

The new patch is attached.

Please tell me if there are still issues with it.

Christophe

Current Thread

[Next in Thread]

Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/03
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/03
  - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/04
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Ralf Wildenhues, 2011/09/04
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry <=
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Bob Friesenhahn, 2011/09/05
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/11
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/25
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/26
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Paolo Bonzini, 2011/09/12