Skip to content

Commit

Permalink
Merge pull request #20 from core-wg/minor-fixes-and-clars
Browse files Browse the repository at this point in the history 
Clarifications and minor fixes (close #19)
  • Loading branch information
@marco-tiloca-sics
marco-tiloca-sics authored Apr 9, 2024
2 parents ce8a102 + d0d2819 commit ef9367e
Showing 1 changed file with 50 additions and 42 deletions.
Loading

0 comments on commit ef9367e

Please sign in to comment.