On Thu, Jun 15, 2017 at 12:37 AM, Glenn Morris <rgm@gnu.org> wrote:
> This is the same thing as http://debbugs.gnu.org/25640; ie fallout 
> from
> plist-put changes.
> 
> Although the :options field for css-electric-keys seems pointless 
> anyway,
> since the repeat type doesn't support it. (Same for 
> compilation-environment.)

Right. Does the attached patch look sufficient?

-- Simen