Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Die if selected patch from mysql-extras is missing
die-if-patch-is-missing.diff (text/plain), 601 bytes, created by Thomas Deutschmann (RETIRED) on 2016-01-24 16:00:48 UTC
(hide)
 
Creator: Thomas Deutschmann (RETIRED)
Created: 2016-01-24 16:00:48 UTC
Size: 601 bytes
Actions: View | Diff
Attachments on bug 572772: 423802