update to v2.07 - Githubissues

racket / scribble

Other

194 stars 89 forks source link

Closed rfindler closed 2 months ago

rfindler commented 2 months ago

Shall we also include this in the release?

(Just as a sanity check I rebuilt a recent paper and there were no problems.)

sorawee commented 2 months ago

2.07 is just released, too. Let's target that one instead.

rfindler commented 2 months ago

Okay, I've updated the pull request. The paper still seems to build.

sorawee commented 2 months ago

LGTM! I don't think it is that urgent to be included in the release though.