"Pedro A. Aranda" <[email protected]> writes:

> This patch is motivated by a question to the list. I have no access to 
> savannah right now (and again!)

The patch looks good.
Savannah is down for everyone.
See https://status.fsf.org/status/fsf and
https://orgmode.org/worg/org-maintenance.html#org630d73b.

P.S. I am wondering if you saw
https://list.orgmode.org/877bl0vwzk.fsf@localhost/T/#u

-- 
Ihor Radchenko // yantar92,
Org mode maintainer,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>

Reply via email to