Skip to content

Rename Array.pinnedSerialize to Array.serialize' #8212

Rename Array.pinnedSerialize to Array.serialize'

Rename Array.pinnedSerialize to Array.serialize' #8212

Annotations

2 warnings

GHC 9.4.7

succeeded Dec 9, 2024 in 16m 33s