Update from master: smaller configuration with static data compiled to kore #749
Closed
jberthold wants to merge 1 commit into
Closed
Update from master: smaller configuration with static data compiled to kore #749jberthold wants to merge 1 commit into
jberthold wants to merge 1 commit into
