Missing library for DISCO-F746

1

I’m missing the TS_DISCO_F746NG library, all other libs are available, but the touch is missing.
Is it possible to add it?
https://os.mbed.com/teams/ST/code/TS_DISCO_F746NG/

2

Yes, please file an issue in GitHub - platformio/platformio-libmirror: PlatformIO libraries mirror

Please note that you can use this URL directly for lib_deps option.