main(): Don't initialize user data pointer.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 17 Oct 2017 16:59:42 +0000 (18:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 28 Oct 2017 09:25:01 +0000 (11:25 +0200)
It is never used uninitialized. The unnecessary initialization only
hides the warning from the compiler if it ever should ever be used
uninitialized.


No differences found