[patch] patch for pipd_dtor()
pipe.patch (text/plain), 573 bytes, created by luke.tw on 2015-02-01 17:23:08 UTC
(hide)
 
Creator: luke.tw
Created: 2015-02-01 17:23:08 UTC
Size: 573 bytes
Actions: View | Diff
Attachments on bug 197246: 152442