Closed aaronpuchert closed 9 years ago
It seems convenient to have private tags, i.e. tags which can be seen only be one user. All users should be able to create their private tags and tag every problem with them.
Resolved in branch private_tags, see merge commit 8216eb93e36bb56baa15889597dd40acb7d78ede.
It seems convenient to have private tags, i.e. tags which can be seen only be one user. All users should be able to create their private tags and tag every problem with them.