Re: [PATCH 0/2] Add new 'print max-depth' feature

Pedro Alves
2019-03-28T12:47:17Z

BTW, wasn't there some patch being reviewed that added explicit
control of the "set print" options to the Python API? I can't seem to
find it right now, but I think you'll want to coordinate, to make
sure that "depth" is also added to the API.

Thanks,
Pedro Alves