Bastien <b...@gnu.org> writes: > Eric Schulte <eric.schu...@gmx.com> writes: > >> For some reason I am >> currently unable to communicate with the Org-mode git server, so if >> anyone else is able to apply this patch please do. > > Done - thanks for the patch!
Thanks for the patch and the check-in. I can confirm, that the issue is fixed for me. Cheers, Andreas
