[patch] Fix
portindex.diff.txt (text/plain), 640 bytes, created by Pietro Cerutti on 2017-01-10 13:33:55 UTC
(hide)
 
Creator: Pietro Cerutti
Created: 2017-01-10 13:33:55 UTC
Size: 640 bytes
Actions: View | Diff
Attachments on bug 215926: 178711