Merge branch 'master' of https://github.com/program-repair/program-re…

…pair.github.io
program-repair · Oct 4, 2024 · 9aa78ed · 9aa78ed
2 parents a8d4b03 + 4f4eeef
commit 9aa78ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/statistics.html b/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],