NexT 7.1.2 Released

🌀 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

Detailed changes for NexT v7.1.2