[patch] Diff file from pull request
pull_request.diff (text/plain), 338 bytes, created by GitHub Automation on 2014-12-20 15:32:29 UTC
(hide)
 
Creator: GitHub Automation
Created: 2014-12-20 15:32:29 UTC
Size: 338 bytes
Actions: View | Diff
Attachments on bug 196158: 150808