Re: [PATCH 1/1] shell32: Prevent double free (Coverity)