Add #number as an allowed continuation after ABBREV3 #1397

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Merged

AngledLuffa merged 1 commit into dev from abbrev3_hash

Nov 28, 2023

Contributor

AngledLuffa commented Nov 16, 2023

Add #number as an allowed continuation after ABBREV3. Addresses #1396


          Add #number as an allowed continuation after ABBREV3. Addresses #1396

ad6e4e5

AngledLuffa merged commit ad37f2a into dev

AngledLuffa deleted the abbrev3_hash branch

November 28, 2023 23:17

Contributor Author

AngledLuffa commented Nov 28, 2023

(reviewed by @manning)

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet