Yes, but they didn’t even attempt to get it merged, nor did they provide the changes on a per-commit level, but only as a single sourcedump with all comments etc removed.

This made integration impossible.