Actually, upon further review, maybe they actually applied the changes
manually and then merged the pull request just for Github record keeping.
It looks like the actual fix happened with
https://git-wip-us.apache.org/repos/asf?p=jena.git;a=commit;h=db4a6205ebf045
a866bfad4c4751a3372c34af24
Hi y'all,
I know we've had a Gitweb vs Github thing going for years where GIthub is
just a mirror.
But I saw something interesting today on Apache Jena's Gitweb where it seems
that they'd merged commits from Github into their master repo.
You can see it at