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