[Swan-commit] Changes to ref refs/heads/master

[Antony Antony]

New commits:
commit 82f5667e41779cf9375dae0828e52d4be1d33345
Author: Antony Antony <antony at phenome.org>
Date:   Sun Jun 4 11:48:56 2017 +0200

    pluto: tidy up time_interop_options remove "USE_"