Closed d-s-e closed 1 year ago
fixes https://github.com/eclipse-leda/leda-distro/issues/66
@d-s-e Looks good to me, if there isn't anything else you'd like to add we can merge IMO.
fixes https://github.com/eclipse-leda/leda-distro/issues/66