tags 14398 fixed
close 14398 28.1
Lars Ingebrigtsen <firstname.lastname@example.org
> Mauro Aranda <email@example.com
>> 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.