Your message dated Tue, 14 May 2024 00:40:55 +0800 with message-id <87y18dy8a0.fsf@iscas.ac.cn> and subject line Re: [bug#70720] [PATCH 0/3] Add tree-sitter-verilog/-vhdl/-erlang has caused the debbugs.gnu.org bug report #70720, regarding [PATCH 0/3] Add tree-sitter-verilog/-vhdl/-erlang to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 70720: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70720 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems