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, 26 Sep 2011 21:37:21 +0200

> I just committed a slightly modified patch in your name.

Thank you very much Peter.

Christophe

Current Thread

[Next in Thread]

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, (continued)
- 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, 2011/09/05
    - 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 <=
    - Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Paolo Bonzini, 2011/09/12