Revision 6dee6447
ID | 6dee644781f323faa4f94cc8eda9e3f81b320ea5 |
Parent | 1e1da985 |
Child | c6fcfba9 |
Recovered past behaviour in case of un-initialized end_time
Files
- added
- modified
- copied
- renamed
- deleted
ID | 6dee644781f323faa4f94cc8eda9e3f81b320ea5 |
Parent | 1e1da985 |
Child | c6fcfba9 |
Added by Guillaume Walck about 4 years ago
Recovered past behaviour in case of un-initialized end_time