Skip to content

Make use of nextv(), keys() and values()#2

Merged
vweevers merged 8 commits into
mainfrom
nextv
Jan 30, 2022
Merged

Make use of nextv(), keys() and values()#2
vweevers merged 8 commits into
mainfrom
nextv

Conversation

@vweevers
Copy link
Copy Markdown
Member

@vweevers vweevers commented Jan 29, 2022

TODO:

Squash on merge.

Closes #1
Ref Level/community#70

@vweevers vweevers marked this pull request as ready for review January 30, 2022 17:00
@vweevers vweevers merged commit 7c4fc44 into main Jan 30, 2022
@vweevers vweevers deleted the nextv branch January 30, 2022 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Use nextv() and decide on default hwm

1 participant