Polisstrejken i Dublin har , såsom förut omförmälts,