[patch] Diff file from pull request
pull_request.diff (text/plain), 338 bytes, created by GitHub Automation on 2014-12-19 19:14:44 UTC
(hide)
 
Creator: GitHub Automation
Created: 2014-12-19 19:14:44 UTC
Size: 338 bytes
Actions: View | Diff
Attachments on bug 196141: 150786