Skip to content

Merge develop into master (small patch)

Placeholder Adrien Pavão requested to merge develop into master

Summary

  • Fix deletion of orphan files
  • Remove submissions and participants counters to unblock the platform (temporary)

Changes

  • #1642
  • #1643
  • #1645

Merge request reports