Utils/Makefiles for v8.0.1

Branch: utils-makefiles-for-v8.0.1

Branch: 8.0.1-RC

Merged

#64 · Created 2019-01-29 · Last updated 2019-02-05

Merged pull request

Merged in utils-makefiles-for-v8.0.1 (pull request #64)

5888b54·Author: Joseph Parker·Closed by: Joseph Parker·2019-02-05

PR to make sure the latest versions of utils and makefiles go into v8.0.1.

Do not merge until just before release!