|
| From: | Dima Kogan |
| Subject: | bug#13304: ping |
| Date: | Mon, 21 Sep 2015 11:38:16 -0700 |
Eli Zaretskii <eliz@gnu.org> writes: > Thanks, pushed. > > Should we close the bug now? Thanks for doing that. You accidentally pushed the original patch, the one from before I addressed Michael's comments, so it might be good to update the tree with the later patch. In any case, I'm closing the bug. Thanks again.
| [Prev in Thread] | Current Thread | [Next in Thread] |