diff options
| author | emersion <contact@emersion.fr> | 2018-10-28 19:52:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-28 19:52:08 +0100 |
| commit | 1c2a356dcf43f2fbd633a2e2badabbfd4b9e6cb3 (patch) | |
| tree | 54ea61640852e18c68154e64d0bbc2f9c84be842 /include/pool-buffer.h | |
| parent | d14a627c106327340fb04876ac5a2d3403f9cfc9 (diff) | |
| parent | 66ae58d62a03d8e301263bbe6243855402203293 (diff) | |
Merge pull request #3016 from mwenzkowski/fix-uninitialized-pointer
cursor: fix uninitialized pointer in cursor_rebase
Diffstat (limited to 'include/pool-buffer.h')
0 files changed, 0 insertions, 0 deletions