On Fri, May 26, 2017 at 6:04 AM Nicolas Goaziou <mail@nicolasgoaziou.fr>
wrote:

> I solved the problem differently, but your suggestion still makes sense.
> Would you mind making it a proper patch, using "git format-patch", with
> a proper commit message? Don't forget to add TINYCHANGE cookie at the
> end if you haven't signed papers yet.
>

Thanks. After the fix in
http://orgmode.org/cgit.cgi/org-mode.git/commit/?id=2d29269bb1b9af08011e091913798b6598e4b156,
I don't need that org-highlight-links workaround any more.
-- 

Kaushal Modi