Closed nicholasjng closed 2 months ago
Follow-up of #92.
You need to re-lock the dependencies after changing the revision, then we're good to merge.
Done.
Follow-up of #92.