Skip to content

rename jax/batched_stuff to jax/chunked_stuff

Vicentini Filippo requested to merge github/fork/PhilipVinc/pv/rename into master

Created by: PhilipVinc

As agreed in the other PR. I split this out to have a less messy PR, and merge it immediately so @inailuig can rebase SR on top of this change

Merge request reports