Problem merging a PR due to an IPR issue

Received on Wednesday, 11 July 2018 10:11:21 UTC