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