[patch] Diff file from pull request
pull_request.diff (text/plain), 122 bytes, created by GitHub Automation on 2014-12-19 16:51:04 UTC
(hide)
 
Creator: GitHub Automation
Created: 2014-12-19 16:51:04 UTC
Size: 122 bytes
Actions: View | Diff
Attachments on bug 196134: 150781