[patch] adding tile38 user in /usr/ports/UIDs
patch-UIDs (text/plain), 594 bytes, created by Oleg Ginzburg on 2016-06-08 18:33:20 UTC
(hide)
 
Creator: Oleg Ginzburg
Created: 2016-06-08 18:33:20 UTC
Size: 594 bytes
Actions: View | Diff
Attachments on bug 210147: 171212 | 171213 | 171214 | 171255 | 171256 | 171257