Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
eventscheduler mismatch of my_{malloc,free}, delete
Fix malloc/delete mismatch. This causes a double free in the cleanup. closes #1845
- Loading branch information