Turn off warnings for using head or tail, or remove their use.#29

Merged

chungyc merged 1 commit intomainfrom nightly

May 31, 2024

+82-8

Commits on May 31, 2024

Turn off warnings for existing uses of head or tail, or remove their use.
chungyc
committed