Propagate agent option to remote device monitor command (#4065)
Propagate agent option to remote device monitor command (#4065)

Signed-off-by: Christophe PAVOT <60d54d33190dadab3d5ad124a4ead9e195583b5d@wiifor.com>
platformio/platformio-core,platformio/platformio-core,platformio/platformio