ChineseEdit

For pronunciation and definitions of – see 補丁 (“patch; patch”).
(This term, 補釘, is a variant form of 補丁.)