Hearing that there is some exploit with any software wallets which use Libbitcoin Explorer 3.x

However they are not stating which wallets are affected. Only that so far $900,000 was stolen due to some poor random number generator when generating seeds.

How do we find out if Electrum uses this dependency?