On 2015-12-14 18:12, Mike McLean <mike.mclean@pobox.com> writes:

> Updated to fix a typo in the defcustom’s documentation string.

Applied and pushed, thanks.

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Athmospheric CO₂ (Updated December 13, 2015, Mauna Loa Obs.): 401.31 ppm