v7.1.2

🌀 External Changes

• Change the internal path of quicklink (#883)
• Upgrade Facebook Graph API to v3.3 (#876)
• Make symbols_count_time faster (#862)

🐞 Bug Fixes

• Force HTTPS of google-analytics.swig. Again. (#881)
• Fix Github gist bug with copy button (#861)

📖 Documentation

• Expressions and translations in CONTRIBUTING.md (#885)
• Fix a few typo errors in docs (#864)

---

For full changes, see the comparison between v7.1.1 and v7.1.2