From: Amin Bandali <bandali@gnu.org>
Date: Tue, 25 Dec 2018 23:19:44 +0000 (-0500)
Subject: [emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/commitdiff_plain/c4056581936c6e173c6dce3afb2c1fdac6adbb69?ds=inline;hp=c4056581936c6e173c6dce3afb2c1fdac6adbb69

[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays
---