Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
do not use static buffer of log event for headers when switching to dynamic logs...