[RFAv4 5/5] NEWS and documentation for | (pipe) command.

[Pedro Alves]

On 5/30/19 3:21 PM, Philippe Waroquiers wrote:
> +
> +set print max-depth
> +show print max-depth
> +  Allows deeply nested structures to be simplified when printing by
> +  replacing deeply nested parts (beyond the max-depth) with ellipses.
> +  The default max-depth is 20, but this can be set to unlimited to get
> +  the old behavior back.

Looks like this ended up here by mistake?

Thanks,
Pedro Alves