Merge remote-tracking branch 'origin/exec_spec/shelley/update_mechani…

…sm' into exec_spec/shelley/update_mechanism

shelley/chain-and-ledger/executable-spec/test/PropertyTests.hs

@@ -219,7 +219,7 @@ propBalanceTxInTxOut' =
         ))
   success
 
--- | Check that we correctly trest redundant witnesses. We get the list of the
+-- | Check that we correctly test redundant witnesses. We get the list of the
 -- keys from the generator and use one to generate a new witness. If that key
 -- was used to sign the transaction, then the transaction must validate. If a
 -- new, redundant witness signature is added, the transaction must still