In the process of making the sdhci driver work with my laptop, I noted a cosmetic issue where the SD card's serial number is not correctly reported (it's always zero). Possible patch attached, imb
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:10 UTC