Re: issue in orgmode manual

Thu, 21 May 2020 08:02:26 -0700 

Hi Nick and John,

this issue should be fixed now, thanks for reporting it.

-- 
 Bastien

Reply via email to