By: rodrigc(https://api.github.com/users/rodrigc)
Created attachment 149928 [details] Diff file from pull request
We are getting duplicate PRs for these github pulls, e.g. 195438 & 195439
Testing.