Re: [PATCH v2 0/1] MR1213: shell32: Prevent double free (Coverity) - approved