might be a bug in gawk

[joanes.polus]

hello,

   execution of:

   echo "a%28b%29%c"|awk -F "a" '{printf $2}'

   give this result:

   %28b%c

   and not

   %28b%29%c

   So may be a bug or i do not understand something in awk.

Bye.


-----------------------------------------------------------------------------------
System:
   Archlinux 2008

Hardware:
   Linux 2.6.28-ARCH
   i686 AMD Athlon(tm) XP 2800+ AuthenticAMD GNU/Linux