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 et

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.