The rebels were crushed by 1792 and most of their leaders executed.
Οι αντάρτες συντρίφθηκαν το 1792 και οι περισσότεροι από τους ηγέτες τους εκτελέστηκαν.