Re: [PATCH] Remove duplicated "is a"FromJunio C Hamano <gitster@pobox.com>DateMay 6, 2011, 05:14 UTCMessage-ID<7vtyd82yx9.fsf@alter.siamese.dyndns.org>In-Reply-To<1304655377-57638-1-git-send-email-jabcalves@gmail.com>Thanks!Previous: João Britto