Skip to content

Merge back to web fetch #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Sep 26, 2023
Merged

Merge back to web fetch #1

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
5e0dc14
Migrate to `js-promise` (#13)
garyb Nov 25, 2022
d5e667a
Update bower.json
thomashoneyman Aug 4, 2023
38eadf3
Merge remote-tracking branch 'purescript/master' into merge-back-to-w…
sigma-andex Sep 14, 2023
58c7c70
Rename packages to JS.Fetch
sigma-andex Sep 26, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update bower.json
  • Loading branch information
@thomashoneyman
thomashoneyman authored Aug 4, 2023
commit d5e667aaf3ee3d4389d13596e394c90eaa2793de
2 changes: 1 addition & 1 deletion bower.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,6 @@
"purescript-record": "^4.0.0",
"purescript-typelevel-prelude": "^7.0.0",
"purescript-web-file": "^4.0.0",
"purescript-web-streams": "https://github.com/purescript-web/purescript-web-streams.git#^3.0.0"
"purescript-web-streams": "https://github.com/purescript-web/purescript-web-streams.git#^4.0.0"
}
}