WebSafe 3.7github.com
|
|
🏠
Skip to content

Remove leftovers from "meth" attribute#8022

Merged
cknitt merged 2 commits intorescript-lang:masterfrom
cknitt:remove-meth
Nov 21, 2025
Merged

Remove leftovers from "meth" attribute#8022
cknitt merged 2 commits intorescript-lang:masterfrom
cknitt:remove-meth

Conversation

@cknitt
Copy link
Member

@cknitt cknitt commented Nov 18, 2025

The meth attribute was removed in #7684, this removes some leftovers.

@pkg-pr-new
Copy link

pkg-pr-new bot commented Nov 18, 2025

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@8022

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@8022

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@8022

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@8022

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@8022

@rescript/runtime

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/runtime@8022

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@8022

commit: 8ec9ed7

@cknitt cknitt merged commit 44db78b into rescript-lang:master Nov 21, 2025
25 checks passed
@cknitt cknitt deleted the remove-meth branch November 21, 2025 09:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

Comments