Stefan Holderbach 8695b57584
Bump version for 0.80.0 release (#9212)
# Checklist

- [x] merged reedline PR
- [ ] release notes
2023-05-17 10:11:13 +12:00
..
2023-04-05 13:12:01 -05:00
2022-10-19 07:13:36 +13:00
2022-03-13 11:30:27 -07:00