Skip to content

Activity

Deleted branch

juanedideleted fix-cl-lib-dependency • 
on Sep 5, 2023

Merge pull request #6 from juanedi/fix-cl-lib-dependency

Pull request merge
juanedipushed 2 commits to master • a31d567…b664e50 • 
on Sep 5, 2023

Require cl-lib before using it!

Force push
juanediforce pushed to fix-cl-lib-dependency • 7d94dec…8906d7d • 
on Sep 5, 2023

Require cl-lib before using it!

Force push
juanediforce pushed to fix-cl-lib-dependency • 39eeff4…7d94dec • 
on Sep 5, 2023

try explicitly adding cl-lib to package-requires

juanedicreated fix-cl-lib-dependency • 39eeff4 • 
on Sep 5, 2023