Re: [PATCH v2] general-functions.pl: Fix for bug#12937