answered 2020-10-01 08:01:32 +0000
You should probably address this through the Mininet support forum or IRC.
