minor fix on people page
the keys of mapping have been changed with SD-109 since Aug, which causes some flags on the page to not be displayed
Team wikis have been unfrozen! You can use this time to update your team's results, final corrections, or project amendments. Final freeze will happen on December 4th, 15h UTC.
the keys of mapping have been changed with SD-109 since Aug, which causes some flags on the page to not be displayed