Re: [PATCH v2] general-functions.pl: Update to fix bug #12428