Future of shrev after specs gets replaced by legion? #36
Description
What's the future of shrev after specs gets replaced by legion? Will shrev continue to be developed?
Or what's the alternative for MPMC channels where each receiver gets all msgs (sent since its creation but none from before)?