Closed mpsijm closed 5 years ago
Necessary because of the change in metaborg/jsglr#35.
@jasperdenkers Maybe we want to move the branch pointer of develop/jsglr2 forward to master before merging :slightly_smiling_face:
develop/jsglr2
master
Necessary because of the change in metaborg/jsglr#35.
@jasperdenkers Maybe we want to move the branch pointer of
develop/jsglr2
forward tomaster
before merging :slightly_smiling_face: