chore: Drop Array.includes polyfull#3022

arkirchner merged 1 commit into

mainopenHPI/codeocean:mainfrom

ak/drop_includes_polyfillopenHPI/codeocean:ak/drop_includes_polyfillCopy head branch name to clipboard