Revision c09113a2ccaf1c03442b56df9b3aa070bb1ec347

Committed on 09/03/2017 4:24 am by André R <[email protected]> [GitHub Diff]

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