Commit 04dd33b5 authored by Petr Špaček's avatar Petr Špaček

Merge branch 'netlist' into 'master'

adapt to change of semantics in net.list() output

See merge request !158
parents 2753e17d 13f18ac9
Pipeline #46387 failed with stage
in 1 minute and 48 seconds