Hi, I just merged the pull request for AES_ENCRYPT [1], which required a little bit of manual work to complete the merge. I thought everything went well, except the commit history [2] looks strange to me. Would someone mind double-checking that I didn't inadvertently do something wrong? I pretty much followed the GitHub instructions, but this is the first time I've done a merge where I committed back to the project repository rather than my private one, so I'm a bit extra cautious.
Thanks