diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-05 17:38:56 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-05 17:38:59 +0100 |
| commit | 21e2670de3bcbcd41fd7655bfac042ab1ff36762 (patch) | |
| tree | d0d6acdca06958f6bd59c8c2bf14429db965bb61 /src/test | |
| parent | 07d2d2a21c508050ba0bbe9ba55d5756c96f8909 (diff) | |
| parent | fa9461473868132a6a23c672b2eea2d29287855d (diff) | |
Merge #12434: [doc] dev-notes: Members should be initialized
fa9461473 [doc] dev-notes: Members should be initialized (MarcoFalke)
Pull request description:
Also, remove mention of threads that were removed long ago.
Motivation:
Make it easier to spot bugs such as #11654 and #12426
Tree-SHA512: 8ca1cb54e830e9368803bd98a8b08c39bf2d46f079094ed7e070b32ae15a6e611ce98d7a614f897803309f4728575e6bc9357fab1157c53d2536417eb8271653
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions