Close bugs

[John Thacker <johnthacker () gmail com>]

Can someone with the proper permission please close #13238 (
https://gitlab.com/wireshark/wireshark/-/issues/13238)?
It was fixed by commit 81f184bc00b938807cfdee72dc6f8d49412e26c6 three years
ago, but didn't get closed (and no one really owns it after the Bugzilla
migration.)

Also please close #6365 (
https://gitlab.com/wireshark/wireshark/-/issues/6365), which was addressed
with the "Export PDUs to File" functionality and API.

Thanks,
John Thacker

___________________________________________________________________________
Sent via:    Wireshark-dev mailing list <wireshark-dev () wireshark org>
Archives:    https://www.wireshark.org/lists/wireshark-dev
Unsubscribe: https://www.wireshark.org/mailman/options/wireshark-dev
             mailto:wireshark-dev-request () wireshark org?subject=unsubscribe