On 22/08/2023 20:41, Michael Richardson wrote: > > Francois-Xavier Le Bail <devel.fx.leb...@orange.fr> wrote: > > Does anyone see a problem with this change? (Answer on PR page.) > > > https://github.com/the-tcpdump-group/tcpdump/pull/812 > > It looks so simple, it's probably correct :-)
The PR has been merged. _______________________________________________ tcpdump-workers mailing list -- tcpdump-workers@lists.tcpdump.org To unsubscribe send an email to tcpdump-workers-le...@lists.tcpdump.org %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
