Subject: Re: bug#25312: Invalid options for slot ...
From: Stefan Monnier <[email-masked]>
To: [email-masked]
Cc: Johan Bockgård <[email-masked]>
Date: Tue, 03 Jan 2017 16:09:00 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

> We should fix those packages, but they worked just fine until now
> despite this mistake, so we shouldn't break them gratuitously.  IOW the

I pushed a patch which replaces the error signal with a warning, and
tries to DTRT when the coder made the obvious mistake.

        Stefan