bug#15210: is this file supposed to be in the git repo?

[Aharon Robbins]

Is this file: gl/lib/regex_internal.h.diff  supposed to be in the repo?

Thanks,

Arnold