On Thu Apr 13 19:48:09 2023 +0000, Davide Beatrici wrote:
I should have asked this earlier, but do we need a separate
`mmdevdrv.h`, or could that go in `mmdevapi_private.h`? We could indeed merge the first into the latter once no drivers include it anymore.
Ok fine. Your quoting is fine too.