From: Amin Bandali <bandali@gnu.org>
Date: Sat, 14 Sep 2019 13:44:14 +0000 (-0400)
Subject: emacs: update lean-mode
X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/2e54e9db1def0a2624775458b8e7f91689bedc57?ds=inline;hp=2e54e9db1def0a2624775458b8e7f91689bedc57

emacs: update lean-mode

my PR removing (require 'cl) has been merged
---