Hugo Woesthuis ee6f4e85d6 [commands] Allow @ prefixed usernames in DM contexts for UserConverter
Previously the argument '@user#0000' return None.
To fix this, as this is a common user error, an extra check was added
 to remove the first character from the argument if this is an '@'.
 Discord names may not contain an '@' anyways.
2020-01-20 07:14:27 -05:00
..
2018-01-26 12:46:19 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00
2020-01-19 20:03:00 -05:00