[patch] Diff file from pull request
pull_request.diff (text/plain), 382 bytes, created by GitHub Automation on 2014-12-19 15:19:36 UTC
(hide)
 
Creator: GitHub Automation
Created: 2014-12-19 15:19:36 UTC
Size: 382 bytes
Actions: View | Diff
Attachments on bug 196131: 150776