ges en strejk , som skulle hafva omfattat omkring 100,000 grufarbetare i Wales.