On Mon, Oct 22, 2018 at 3:39 PM Dominik Brodowski<linux@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