Merge version3-branch into master
Since PAKCS and KiCS2 both have their version3
-Branches merged, it would be great to have the tools repo updated as well.
Edited by Fredrik Wieczerkowski
Since PAKCS and KiCS2 both have their version3
-Branches merged, it would be great to have the tools repo updated as well.