2 commits

Author	SHA1	Message	Date
Timothee Cour	a6cbe58e8c	typetraits.$: $((int, float), int) is now "((int, float), int)" instead of "(tuple of (int, float), int)" (#14812) ... Co-authored-by: Andreas Rumpf <rumpf_a@web.de>	2020-07-02 16:19:43 +02:00
Andreas Rumpf	a17d45c2c2	fixes #3948	2018-04-12 20:09:44 +02:00