On Sat, Aug 26, 2017 at 3:55 PM, Moritz Lennert <mlennert at club.worldonline.be> wrote: ... > #3402 seems fixed (backport to release72 : r71440) > > Pietro has also cleaned up the unnecessary imports of builtins in trunk > r71438, but this still needs backporting. Maybe we can wait with RC2 until > this is done ? Yes, sure. Markus