Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Crash in orddict:fetch #1
This comment has been minimized.
This comment has been minimized.Show comment Hide comment
Yes, we have an issue that ... when we initially build the process structure, we cannot create a MRef -> Pid mapping for monitors; there doesn't seem to be a way to get hold of that information (