Hi 🙂 could somebody help on archiving #arrow-kt in favor or #arrow ? It makes no sense for us to keep both channels active, but somebody created the former. Maybe @orangy@hhariri? Thanks in advance 🙏
Jorge Castillo
04/15/2020, 11:32 AM
There is almost nothing in #arrow-kt atm, we can remove it with no fear