[Vwdiesel] Mixing Synthetic & Dino Oils

[Duncan L. Forbes]

Okay hopefully this isn't the dumbest question in the world.

I have been running using Mobil 1 10W-40 the last year or so. However, I
still have a case of Dino (Chevron Delo) in the garage. Yesterday morning,
in the dark (prior to getting my caffeine fix) I grabbed a quart of oil from
the wrong shelf and inadvertently put in a quart of the non-synthetic into
the car. I didn't notice until that afternoon when I went to throw away the
empty bottle.

So the question is, is this bad to have mixed synthetic and non-synthetic?

Should I drain my oil and refill immediately?