$4.6M in Filecoin 'Double Deposited' on Binance; Exploit Open on Other Exchanges

It’s not a “true” double-spend, but does it matter if funds can still be duplicated and traded on an exchange?