Let $R$ be a discrete valuation ring (DVR) and let $M$ be a projective module of finite type over the polynomial ring $R[t]$. Is $M$ free over $R[t]$?

As far as I understand, this should be a consequence of the Bass-Quillen conjecture for $R$. Is it proven in this particular case?