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
It was introduced in #986 and is private API for now. Maintaining it seems like overkill, we can probably replace it with a third-party lib like https://pcollections.org/. Removing it and using standard java Collections seems somewhat hard though
The text was updated successfully, but these errors were encountered:
It was introduced in #986 and is private API for now. Maintaining it seems like overkill, we can probably replace it with a third-party lib like https://pcollections.org/. Removing it and using standard java Collections seems somewhat hard though
The text was updated successfully, but these errors were encountered: