bug#24255: Acknowledgement (25.1; incorrect edebug spec for cl-defun)

[Ben Liblit]

For the record, I'd like to note that this problem first came up in the 
context of "undercover.el": an Elisp coverage tool that builds upon 
edebug.  My original bug report against "undercover.el" can be found at 
<https://github.com/sviridov/undercover.el/issues/19>.  Sviridov 
Alexander deserves the credit for tracking this problem back to edebug 
and showing how to reproduce it easily.