REPL reset doesn't reset like it used to #11730

Closed as not planned

Closed as not planned

REPL reset doesn't reset like it used to#11730

Labels

Milestone

As noticed at #4331 :reset in 2.13 doesn't reset so much.

Cf theme at #7787

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

BacklogNo due date

Relationships

None yet

Development

No branches or pull requests