Riccardo Spagni 40d213154b
Merge pull request #2289
6ee1116d store is optional during close and defaults to true; except during descruction (m2049r)
2017-09-25 16:38:14 +02:00
..
2017-09-06 09:18:40 +02:00
2017-09-20 21:37:40 +02:00
2017-09-25 16:37:17 +02:00
2017-09-21 12:07:35 +02:00
2017-09-21 10:11:33 +02:00
2017-09-14 21:42:48 +01:00
2017-09-18 13:08:16 +02:00
2017-09-25 16:37:17 +02:00
2017-09-25 16:38:14 +02:00
2017-08-15 21:04:37 +02:00