This repository was archived by the owner on Sep 9, 2023. It is now read-only.

This repository was archived by the owner on Sep 9, 2023. It is now read-only.

bug: uncached users on discord client will not display properly when mentioned in challenge leaderboard #3

Open

opened

on Jan 31, 2022

A better way of displaying them would be to mention and use their tag in plaintext

mention-user (user#0000) - number of points

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests