Commit from GitHub Actions (build)

Author: github-actions[bot]

statistics.html

@@ -207,7 +207,7 @@ <h6 class="text-center">Top fifteen most popular venues</h6>
   var publicationsPerAuthor = new Chart(ctx, {
       type: 'horizontalBar',
       data: {
-          labels: ["Martin Monperrus","Claire Le Goues","Abhik Roychoudhury","Westley Weimer","Matias Martinez","Yingfei Xiong","Kui Liu","Tegawendé F. Bissyandé","Dongsun Kim","Stephanie Forrest","Xiaoguang Mao","Sergey Mechtaev","Anil Koyuncu","Jacques Klein","David Lo"],
+          labels: ["Martin Monperrus","Claire Le Goues","Abhik Roychoudhury","Westley Weimer","Matias Martinez","Yingfei Xiong","Kui Liu","Tegawendé F. Bissyandé","Dongsun Kim","Stephanie Forrest","Xiaoguang Mao","Sergey Mechtaev","Anil Koyuncu","Jacques Klein","David Lo"],
           datasets: [{
               label: '# of publications',
               data: [34,33,33,24,20,18,18,18,17,17,15,15,14,12,12],