Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
bug#12851: Bug 12851
0 views
Skip to first unread message
Dmitry Gutov
Nov 11, 2012, 8:30:14 PM11/11/12
to Stefan Monnier, 12851...@debbugs.gnu.org
On 12.11.2012 3:03, Stefan Monnier wrote:
>> Could you give me the go-ahead?
>> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12851
>
> Oh, sorry, yes please go ahead,
Thanks, installed.
>> Could you give me the go-ahead?
>> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12851
>
> Oh, sorry, yes please go ahead,
Thanks, installed.
0 new messages