<<<Back 1 day (to 2018/12/02) | 20181203 | |
avih | tor8: in https://github.com/ccxvii/mujs.git i think master is not HEAD, is that correct/intentional? | 15:09.57 |
sebras | avih: both git.ghostscript.com/mujs.git and https://github.com/ccxvii/mujs.git and https://github.com/ArtifexSoftware/mujs all look like they point to 93447649b5d032093a81ac0b7402fd5623f2f76c | 23:51.31 |
avih: the github one's are meant to be mirrors. | 23:51.49 | |
Forward 1 day (to 2018/12/04)>>> |