deemp
commented
2 months ago - @volodya-lombrozo won't fix the types on his side soon https://github.com/objectionary/opeo-maven-plugin/issues/389
- @yegor256 hasn't yet started building the pipeline with our binaries. He's busy with lobbying the next project
- Rules are OK
- The proof team writes the article
- @fizruk writes the patent #197