6 Mar
2012
6 Mar
'12
10:19
2012/3/6 bruno annoa.b@gmail.com:
Merci beacoup pour ton complément de réponse, je voulais savoir s'il fallait déposer un bogue en fait.
C'est déjà fait et c'est déjà corrigé. :)
En fait le bug a été introduit à 20h20 (pas longtemps avant ton push) et corrigé à 22h. Voir http://git.gnome.org/browse/gitadmin-bin/commit/?id=c1739615a
Merci à Claude qui a trouvé ça.
--
Alexandre Franke