[opencms-dev] Is OpenCMS alive?

[Juan Ignacio Cidre]

Hi.
    I have a few days to choose an open source CMS. I'm between OpenCMS 
and InfoGlue.
    OpenCMS seems to be more powerfull and well documented but the 
bugtracking system don´t show much activity.
    How many people are actually conforming this community?

    Thanks a lot.
    Hoping to choose this one and push it farther.

Juan Ignacio.