[patch] remove the -rc2 suffix from wrksrc
opam.diff (text/plain), 778 bytes, created by joris on 2015-06-17 08:51:14 UTC
(hide)
 
Creator: joris
Created: 2015-06-17 08:51:14 UTC
Size: 778 bytes
Actions: View | Diff
Attachments on bug 200930: 157828