Skip to content

Conversation

@pprkut
Copy link
Contributor

@pprkut pprkut commented Apr 10, 2018

Apply upstream fixes for php-diff, as well as a fix for PHP 7.2 (upstream pull request open, at chrisboulton/php-diff#50)


Version is based on:

@lazyfrosch
Copy link
Contributor

Hey @pprkut thank you for contributing, I took the liberty to update your branch and merged the commits down to a single one.

Basically we document vendor embedded code with a SOURCE file, to know where it is from and how it is checked out...

@lazyfrosch lazyfrosch added this to the 1.5.0 milestone Apr 16, 2018
@lazyfrosch lazyfrosch self-assigned this Apr 16, 2018
@lazyfrosch lazyfrosch merged commit 43a68c7 into Icinga:master Apr 16, 2018
@pprkut
Copy link
Contributor Author

pprkut commented Apr 16, 2018

Ah, nice! Thanks! :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants