Skip to content

Simplify lifetimes#2

Merged
mxinden merged 1 commit intomxinden:refactor-collectorfrom
thomaseizinger:refactor-collector
Jul 12, 2023
Merged

Simplify lifetimes#2
mxinden merged 1 commit intomxinden:refactor-collectorfrom
thomaseizinger:refactor-collector

Commits

Commits on Jul 6, 2023