Re: [PG-devel] Use cl-lib instead of cl

2018-12-13 Thread Clément Pit-Claudel
On 13/12/2018 22.58, Stefan Monnier wrote: > Here's another, `git am` doesn't like this one :'( Applying: Fix remaining uses of CL; Make files more declarative error: acl2/acl2.el: does not match index error: coq/coq-autotest.el: does not match index error: coq/coq-db.el: does not match index

Re: [PG-devel] Use cl-lib instead of cl

2018-12-13 Thread Stefan Monnier
> Pushed as well. Thanks! [ Tant que je gagne, je joue! ] Here's another, Stefan >From 5549c4751e7e73382d2bd088322a483df90f51c9 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Thu, 13 Dec 2018 22:57:15 -0500 Subject: [PATCH] Fix remaining uses of CL; Make files more declarative

Re: [PG-devel] Use cl-lib instead of cl (was: Supported version of Emacs)

2018-12-13 Thread Clément Pit-Claudel
On 12/12/2018 15.27, Stefan Monnier wrote: I'm happy to push it for you. Would you mind sending a copy as a `git format-patch` attachment, so that the commit is properly attributed? >>> Here it is, >> Pushed, thanks. Looking forward to more neat patches :) > > Here's the next one.