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