Closed carlhammann closed 1 year ago
It's in the title. The newer version of plutus-apps is needed for the work in PR #243, but in general, it can't hurt if we depend on a reasonably recent version.
Ready to be merged as it is for me.
It's in the title. The newer version of plutus-apps is needed for the work in PR #243, but in general, it can't hurt if we depend on a reasonably recent version.