bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Remove lint code


From: Samuel Thibault
Subject: Re: [PATCH] Remove lint code
Date: Sat, 9 Nov 2013 18:32:05 +0100
User-agent: Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30)

Applied, thanks!

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]