Does SandboxMemoryManager still need mapped_rgns member #1304

New issue

Copy link

New issue

Copy link

Closed

Closed

Does SandboxMemoryManager still need mapped_rgns member#1304

Copy link

Labels

lifecycle/needs-reviewThe issue has not yet been reviewed.The issue has not yet been reviewed.

Description

simongdavies

opened on Mar 11, 2026

Issue body actions

is this used for anything or can we get rid of it?

Originally posted by @ludfjig in #1296 (comment)

Reactions are currently unavailable

Activity

1. github-actions

   added

   lifecycle/needs-reviewThe issue has not yet been reviewed.The issue has not yet been reviewed.

   on Mar 11, 2026
2. ludfjig commented on Jun 18, 2026

   

   ludfjig

   on Jun 18, 2026

   Contributor

   More actions

   Closed by #1510
3. ludfjig

   closed this as completedon Jun 18, 2026

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

Labels

lifecycle/needs-reviewThe issue has not yet been reviewed.The issue has not yet been reviewed.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app