Skip to content

remove VecSink#71

Merged
PSeitz merged 1 commit intomainfrom
the_real_main
Jan 31, 2023
Merged

remove VecSink#71
PSeitz merged 1 commit intomainfrom
the_real_main

Conversation

@PSeitz
Copy link
Owner

@PSeitz PSeitz commented Jan 31, 2023

remove VecSink since it can be fully replaced with a slice
this will reduce code bloat from generics

remove VecSink since it can be fully replaced with a slice
this will reduce code bloat from generics
@PSeitz PSeitz merged commit 1397010 into main Jan 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant