Skip to content
This repository has been archived by the owner on Nov 8, 2018. It is now read-only.

fix HTML link redirection #1603

Merged
merged 2 commits into from
Aug 4, 2016
Merged

fix HTML link redirection #1603

merged 2 commits into from
Aug 4, 2016

Conversation

ChristophWurst
Copy link
Contributor

fixes #1602

@mention-bot
Copy link

@ChristophWurst, thanks for your PR! By analyzing the annotation information on this pull request, we identified @jancborchardt, @DeepDiver1975 and @LukasReschke to be potential reviewers

@jancborchardt
Copy link
Contributor

TRÈS BON MON FRÈRE! 👍 🎉

@ChristophWurst ChristophWurst merged commit 3599e50 into master Aug 4, 2016
@ChristophWurst ChristophWurst deleted the fix-automatic-redirects branch August 4, 2016 14:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
3 participants