[patch] Patch
ports-mgmt_portlint-2.18.10_to_2.18.11.patch (text/plain), 1.20 KB, created by vladimir.chukharev on 2019-09-09 13:44:13 UTC
(hide)
 
Creator: vladimir.chukharev
Created: 2019-09-09 13:44:13 UTC
Size: 1.20 KB

Flags:

vladimir.chukharev: maintainer-approval?
Actions: View | Diff
Attachments on bug 240445: 207325