Closed Eman22S closed 4 years ago
It was supposed to be merged on singnet asmoses.
It was supposed to be merged on singnet asmoses.
When are you going to merge into this repo?
This repo has fixes that the singnet branch doesn't have ... I think delaying this for so long is a mistake. Merges should happen far more often.
You're right @linas, I intend to merge sn to oc pretty soon, likely next week.
So why did you close without merging? I've been waiting a year for this pull req .. and it still hasn't happened!?