3 ms·

> Why post it now? Apparently a explanatory document has been extended in a recent commit [1]. Maybe the project is waking up. [1]: https://github.com/rochus-

by nine_k 4mo ago

> Why post it now? Apparently a explanatory document has been extended in a recent commit [1]. Maybe the project is waking up. [1]: https://github.com/rochus-keller/BUSY/commit/d92677084114619204ea4bd916b3cd8cdd367a08 https://github.com/rochus-keller/BUSY/commit/d92677084114619...