Skip to content

Conversation

@jbrockmendel
Copy link
Member

this sits on top of #28027.

@jbrockmendel
Copy link
Member Author

Closing to clear the queue. Will reopen after #28027, which is a blocker for this.

@jbrockmendel
Copy link
Member Author

Re-opened following #28027.

@jbrockmendel
Copy link
Member Author

@TomAugspurger did the Sparse-removal get merged? If so this is now irrelevant.

@TomAugspurger
Copy link
Contributor

TomAugspurger commented Sep 18, 2019 via email

@jbrockmendel jbrockmendel deleted the blockops5 branch September 18, 2019 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3 participants