Re: [9fans] pcmcia/cardbus rtl8139 support

[geoff]

I fixed the bug in rtl8139reset that wasn't freeing the port when
rtl8139reset failed.  I've just pushed the fixed driver to sources.