a modification in embedded/patmos#312

edwardalee merged 2 commits intolf-lang:mainlf-lang/lf-lang.github.io:mainfrom

EhsanKhodadad:mainEhsanKhodadad/lf-lang.github.io:mainCopy head branch name to clipboard