fix for 7.3#218

remicollet wants to merge 1 commit into

DataDog:masterDataDog/dd-trace-php:masterfrom

remicollet:issue-php73remicollet/dd-trace-php:issue-php73Copy head branch name to clipboard