Skip to content
This repository was archived by the owner on Aug 4, 2023. It is now read-only.

Update mkdir' type sig #34

Merged
merged 2 commits into from
Mar 25, 2022
Merged

Update mkdir' type sig #34

merged 2 commits into from
Mar 25, 2022

Conversation

JordanMartinez
Copy link
Contributor

@JordanMartinez JordanMartinez commented Mar 25, 2022 •
edited
Loading

Description of the change

Part 2 of purescript-node/purescript-node-fs#53

Succeeds #32

Checklist:

  • Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@JordanMartinez
Copy link
Contributor Author

🏓 @thomashoneyman

@thomashoneyman thomashoneyman merged commit 087a985 into purescript-deprecated:master Mar 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@JordanMartinez @thomashoneyman