tags 14398 fixed
close 14398 28.1
quit
Lars Ingebrigtsen <
larsi@gnus.org> writes:
> Mauro Aranda <
maurooaranda@gmail.com> writes:
>
>> Thanks. Should I wait for further comments, or is it OK to push and see
>> if anything comes up? I mean, I have tested the code quite a bit, but
>> perhaps I should wait for comments about the code itself?
>
> The code looked fine to me, so just go ahead and push.
Great, thanks. I've now pushed, and I'm closing this bug report.