I used to use Castrol GTD 10-40, but they stopped making that so I rang Castrol, they said to use Castrol GTX. I said I would buy the Diesel version then, he said that the petrol and diesel versions were identical, the only difference is the marketing, people like to but the right oil for their cars, so they market the oil for petrol or diesel cars with different packaging.
I assumed that the diesel oils had different additives, he assured me the additives were the same.