Skip to content

Use dist: precise for PHP 5.3, dist: trusty for everything else#19

Merged
gitlost merged 1 commit into
masterfrom
use-trusty
Aug 4, 2017
Merged

Use dist: precise for PHP 5.3, dist: trusty for everything else#19
gitlost merged 1 commit into
masterfrom
use-trusty

Conversation

@danielbachhuber
Copy link
Copy Markdown
Member

@danielbachhuber danielbachhuber commented Aug 4, 2017

@danielbachhuber danielbachhuber requested a review from a team August 4, 2017 11:55
@danielbachhuber danielbachhuber added this to the 1.0.3 milestone Aug 4, 2017
@gitlost gitlost merged commit 79e8954 into master Aug 4, 2017
@gitlost gitlost deleted the use-trusty branch August 4, 2017 15:20
@gitlost gitlost added the command:search-replace Related to 'search-replace' command label Aug 4, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@gitlost gitlost gitlost approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

command:search-replace Related to 'search-replace' command

Projects

None yet

Milestone

1.0.3

Development

Successfully merging this pull request may close these issues.

2 participants

@danielbachhuber @gitlost