Closed avikivity closed 6 years ago
Only the last commit is mine, because I based my commit on master but github wants to pull into develop. Let me know if I should redo it based on develop, or retarget the pull request into master.
+1
Pull requests should be based on develop, yes.
@pdimov I rebased on top of develop and force-pushed.
Found by gcc's ubsan. See commit log for details.