Wireshark-dev: [Wireshark-dev] Close bugs

From: John Thacker <johnthacker@xxxxxxxxx>
Date: Wed, 26 May 2021 00:56:55 -0400
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