Re: [phpMyAdmin Developers] Relating phpMyAdmin release versions with library versions