Skip to content

Rename Array.pinnedSerialize to Array.serialize' #8212

Rename Array.pinnedSerialize to Array.serialize'

Rename Array.pinnedSerialize to Array.serialize' #8212

Annotations

1 warning

GHC 8.6.5-debug-unoptimized

succeeded Dec 9, 2024 in 13m 22s