On 25.06.2012 17:24, Joseph S. Myers wrote:
On Mon, 25 Jun 2012, Christophe Lyon wrote:Ping?I advise CCing appropriate maintainers (in this case, build system maintainers) on pings.
Ping again, CCing build system maintainers as suggested by Joseph. (BTW I'm proposing to modify code which was last modified by Paolo Bonzini according to git blame) Christophe.
