Critical vulnerability over 10 years old found in XRP Ledger, could have caused excess XRP minting; fixed and upgraded