Overview
| Artifact ID: | 05dfac7e44db3f501a73da5a0d43313568268644c7e8602fb11bb548565bdf70 |
|---|---|
| Ticket: | 97f62ef016ea3d71fffb3a110400b9b2477aff15
Convert auto_ptr in lib/refcounted.h to unique_ptr |
| User & Date: | tangent 2018-07-12 20:05:50 |
Changes
- icomment: "Fixed by [08496d4b48e24]."
- login: "tangent"
- mimetype: "text/x-fossil-plain"
- resolution changed to: "Fixed"
- status changed to: "Closed"