Skip to main content
Main navigation
Blog
Notes
Papers
Contact
#192
20/10/2022 22:18
Ok, the git hash is happy as well with that commit :)