[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62620: 30.0.50; Unused unwind-protect in verilog-mode
From: |
Mattias Engdegård |
Subject: |
bug#62620: 30.0.50; Unused unwind-protect in verilog-mode |
Date: |
Fri, 21 Apr 2023 16:21:52 +0200 |
21 apr. 2023 kl. 14.18 skrev Basil Contovounesios <contovob@tcd.ie>:
> Now merged: https://github.com/dalanicolai/sketch-mode/pull/6
Thanks for doing the legwork. Since this particular mistake doesn't seem to be
more prevalent, I'm not going to bother with adding a warning for it unless
someone talks me into it.