On 2026-03-13 Fr 4:43 AM, Viktor Holmberg wrote:
Nice that this was pushed. On a minor note, I saw that my email got confused in the commit ([email protected] <https://mailto:[email protected]>) instead of [email protected]. (I don’t know what aiven.io is). I don’t know if there is a way to change this without messing up the git log? If not it’s no problem, probably unlikely that anyone will contact me about it anyways.
It's not really possible. My deepest apologies. Some how or other the gadget I have for ensuring I credit everyone I should got confused. I will disable it until I can figure out where it went wrong.
cheers andrew -- Andrew Dunstan EDB:https://www.enterprisedb.com
