() Andrii Kolomoiets <andreyk.mad@gmail.com>
() Thu, 15 Oct 2020 09:57:49 +0300

   Looks like this was fixed in bug#31764:
   https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31764

Indeed, and w/ the same approach i stumbled upon.
Thanks!  I suppose we can close this bug, then.

BTW, for future reference, how did you find this
previous bug report?

-- 
Thien-Thi Nguyen -----------------------------------------------
 (defun responsep (query)               ; (2020) Software Libero
   (pcase (context query)               ;       = Dissenso Etico
     (`(technical ,ml) (correctp ml))
     ...))                              748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502