Re: [GIT PULL] pcmcia odd fixes for v4.20-rc1

[Linus Torvalds]

On Mon, Oct 22, 2018 at 3:39 PM Dominik Brodowski
<li...@dominikbrodowski.net> wrote:
>
> These are just a few odd fixes and improvements to the PCMCIA core
> and to a few PCMCIA device drivers.

Pulled,

             Linus