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