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