[patch] private-tube-factory: tube ID is a guint64
0004-private-tube-factory-tube-ID-is-a-guint64.patch (text/plain), 776 bytes, created by Guillaume Desmottes on 2013-10-02 14:07:50 UTC
(hide)
 
Creator: Guillaume Desmottes
Created: 2013-10-02 14:07:50 UTC
Size: 776 bytes
Actions: View | Splinter Review
Attachments on bug 70038: 86967 | 86968 | 86969 | 86970

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.