On Mon, Sep 21, 09 at 21:52 +0300, Rémi Denis-Courmont wrote: > Besides, we cannot change a pushed tag. git does not support that. And some distros already have 1.0.2 But nothing block us from doing 1.0.3 quickly -- Xtophe