9bb7d98 Revert "[FENCE] Fix name of the option in fencing library"

Authored and Committed by fabbione 16 years ago
    Revert "[FENCE] Fix name of the option in fencing library"
    
    This reverts commit d8dffdf362256dea024f64a8703f401082124f8a.