Labels

This label indicates an issue that seems like it already is implemented but was just not closed in the issue tracker. If you can confirm that it is the case, please comment the commit id where the changes were made and close the issue. Conversely, if you are sure it is not already done, then unassign the label from the issue.

Labels new issues to be discussed in the next technical meeting. Remove when discussed with the team.