Ticket UUID: | ba1419303b4c8d18278353a907300708a7e34446 | |||
Title: | Delete a namespace for an ensemble having a deletion trace deletes its namespace: segmentation fault. | |||
Type: | Bug | Version: | trunk | |
Submitter: | pooryorick | Created on: | 2017-12-20 08:53:17 | |
Subsystem: | 21. [namespace] | Assigned To: | pooryorick | |
Priority: | 5 Medium | Severity: | Minor | |
Status: | Closed | Last Modified: | 2017-12-21 21:59:28 | |
Resolution: | Fixed | Closed By: | pooryorick | |
Closed on: | 2017-12-21 21:59:28 | |||
Description: |
With an interpreter compiled with
| |||
User Comments: |
pooryorick added on 2017-12-20 09:21:11:
Fixed in commit [c0fcc0ae0338fbb9]. |
