HBOF in toodee DrainCol destructor#2325

GeorgeAndrou wants to merge 2 commits intorustsec:mainrustsec/advisory-db:mainfrom

GeorgeAndrou:hbof-toodee-dropGeorgeAndrou/advisory-db:hbof-toodee-dropCopy head branch name to clipboard