[patch] Proposed patch
cint.diff (text/plain), 674 bytes, created by Raphael Kubo da Costa on 2017-07-28 14:11:56 UTC
(hide)
 
Creator: Raphael Kubo da Costa
Created: 2017-07-28 14:11:56 UTC
Size: 674 bytes
Actions: View | Diff
Attachments on bug 217008: 184802