The patch indeed changes the file. I have no idea what the consequence is for the database or the way the field is installed though. Everything still seems to work. So I guess it will be fine. Thanks!
GlarDup → created an issue.