Revision c09113a2ccaf1c03442b56df9b3aa070bb1ec347

Committed on 09/03/2017 4:24 am by André R <ar@ez.no> [GitHub Diff]

[Test.sh] Update local tagging to also tag as PHP 7.1