bug#66257: closed ([PATCH] Add python-icmplib.)

[GNU bug Tracking System]

Your message dated Sat, 14 Oct 2023 15:36:54 +0200
with message-id <875y39gwax.fsf@gnu.org>
and subject line Re: bug#66257: [PATCH] Add python-icmplib.
has caused the debbugs.gnu.org bug report #66257,
regarding [PATCH] Add python-icmplib.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66257: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66257
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Add python-icmplib. Date: Thu, 28 Sep 2023 12:34:44 +0000

Add the python equivalent of the ICMP utilities (ping and similar).

--

Gabriel Wicki

Research Assistant

ZHAW, Zurich University of Applied Sciences
InES, Institute of Embedded Systems
High Integrity Systems Group

Technikumstrasse 22, Postfach
CH-8401 Winterthur
--
E-Mail: wicg@zhaw.ch
Web: http://ines.zhaw.ch

0001-gnu-Add-python-icmplib.patch
Description: 0001-gnu-Add-python-icmplib.patch

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#66257: [PATCH] Add python-icmplib.
>
>
>
>
> Date: 
>
> Sat, 14 Oct 2023 15:36:54 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> > +(define-public python-icmplib
>
> Applied, thanks,
>
> Mathieu
>
>
> --- End Message ---