v7.0.2
This bug fix release contains the following changes:
- Workaround for Debian Stretch APT repos having been archived (apt-get update failing in pkg job on Debian Stretch #72).
Note: This fix has also been back-ported to v6.3.1 and the v6 tag has been updated to refer to v6.3.1.