Merge pull request #8160 from stanley-cheung/php-artifact-name
PHP: use real artifact name in jenkins testpull/8176/head
commit
7227e40feb
2 changed files with 4 additions and 3 deletions
Loading…
Reference in new issue