XRP Ledger Fixes Bug That Could Push Accounts Into Debt

The fix was enabled on November 4 in ledger 108,112,129. The ledger had been running without it since October 8.