If you own open.eos you do not need to withdraw them from OpenLedger, please check OpenLedger officual blog
https://blog.openledger.info/2018/04/03/keep-your-eos-safe-after-june-1st-with-openledger-dex/
📌 TUTORIAL : How to Withdraw OPEN.EOS to Your ERC-20 Compatible Wallet
If you own open.eos you do not need to withdraw them from OpenLedger, please check OpenLedger officual blog
https://blog.openledger.info/2018/04/03/keep-your-eos-safe-after-june-1st-with-openledger-dex/