release cleanup: bump version after 0.4.0 #1417

1. 
   jonasnick commented at 3:38 pm on September 4, 2023: contributor

   based on #1415
2. release cleanup: bump version after 0.4.0 9b118bc7fb
3. jonasnick force-pushed on Sep 4, 2023
4. jonasnick marked this as ready for review on Sep 4, 2023
5. 
   sipa commented at 4:36 pm on September 4, 2023: contributor

   ACK 9b118bc7fb12203e9bf98eb23bfdd5746adde2b3
6. real-or-random approved
7. 
   real-or-random commented at 4:36 pm on September 4, 2023: contributor

   ACK 9b118bc7fb12203e9bf98eb23bfdd5746adde2b3
8. 
   hebasto commented at 4:37 pm on September 4, 2023: member

   ACK 9b118bc7fb12203e9bf98eb23bfdd5746adde2b3
9. real-or-random merged this on Sep 4, 2023
10. real-or-random closed this on Sep 4, 2023

    ---

11. real-or-random added the label release on Sep 4, 2023

Contributors
jonasnick sipa real-or-random hebasto

Labels
release