Skip to content

Minor cleanup - #2580

Merged
aeisenberg merged 6 commits into
github:mainfrom
jsoref:minor-cleanup
Nov 6, 2024
Merged

Minor cleanup#2580
aeisenberg merged 6 commits into
github:mainfrom
jsoref:minor-cleanup

Commits

  1. Commits on Nov 4, 2024

    • spelling: in case

      jsorefgithub-actions[bot]
      jsoref
      authored and
      github-actions[bot]
      committed
      16e8ccc

  2. Commits on Nov 6, 2024