@mszopos: what do you think about that ? Hopefully I haven't forgotten anybody.
This is indeed not good that the Credits page was not updated for a long time.
thanks for the reminder.
Merge branch 'develop' of https://github.com/feelpp/feelpp into develop