diff options
| author | Andrey Andreev <narf@devilix.net> | 2018-06-12 15:25:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-12 15:25:44 +0200 |
| commit | 9dfb18ce15e50521a1482f6610a2aeaa221b256c (patch) | |
| tree | 85e66f27e44a710d9d71130dec15f1b9e310935b /user_guide_src/source/_themes | |
| parent | dc4a791ab07eeadb6f67eb26311c07199855390f (diff) | |
| parent | 9bf6753a1bcd54d6ca69fc194efc9f982661aa66 (diff) | |
Merge pull request #5510 from johndekroon/develop
Only use the output of idn_to_ascii() if it worked properly
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions