Skip to content

Commit

Permalink
docs: Add selected option
Browse files Browse the repository at this point in the history
  • Loading branch information
tristanmenzel committed Jun 7, 2024
1 parent 4390ae2 commit e140616
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -193,4 +193,4 @@ We should select an appropriate name for the type representing an AVM string. It

## Selected option

TBD
Option 4 has been selected as the best option
Original file line number Diff line number Diff line change
Expand Up @@ -176,4 +176,4 @@ Option 1 and 2 are excluded because they don't meet the requirements of semantic

## Selected option

TBD
Option 5 has been selected as the best option

0 comments on commit e140616

Please sign in to comment.