v3.0.0 #1
Loading…
Reference in a new issue
No description provided.
Delete branch "dev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
New JARVIS Core for the new v3.0.0 release
Ban.discrim was an int with no default (so it was required) while Unban.discrim was a str; ints dropped leading zeros ("0042" became 42) and Discord's "0" (no discriminator) was stored as-is. Both now share a Discriminator type that defaults to None, maps "0" to None and restores zero padding on legacy ints. Ban.duration also gets its missing None default.