You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Even if we merge #3, I think we can improve the dinrail::GenericVector also further after that PR (especially until the code is actually used outside of this repo)
Even if we merge #3, I think we can improve the
dinrail::GenericVectoralso further after that PR (especially until the code is actually used outside of this repo)Possible open points:
resizeis handled (mentioned in person by @RiccardoGrieco)fyi @RiccardoGrieco