Merge 67f46193ed80261abe385e73fedd9e472be3e171 into…

Authored by Rotzbua <Rotzbua@users.noreply.github.com> on Wed, Dec 5, 3:36 AM.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.
GitHub <noreply@github.com> committed rR8c053dccaa30: Merge 67f46193ed80261abe385e73fedd9e472be3e171 into… (authored by Rotzbua <Rotzbua@users.noreply.github.com>).Wed, Dec 5, 3:36 AM

Merged Changes

CommitAuthorDetailsCommitted
67f46193ed80Rotzbua
add php 7.3/nightly to travis and allow failure 
Oct 28