@mattab opened this Pull Request on May 8th 2018 Member

Seems some commits are in master, but not in 3.x-dev, which is not expected (likely those PRs that were created in the wrong branch). Should we merge it in 3.x-dev then?
Is there maybe any security risk in merging this PR?

@sgiehl commented on May 8th 2018 Member

As you can see in the PR there are no files changed, as all changes from those commits have already been done on 3.x-dev. Guess it doesn't matter if we merge or not...

@tsteur commented on May 8th 2018 Member

There are no changes so I wouldn't merge this, creates only confusion.

This Pull Request was closed on May 8th 2018
Powered by GitHub Issue Mirror