Proof of Grothendieck--Serre conjecture on principal bundles over regular local rings containing a finite field

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an infinite field this result is proved in [FP]. Thus the conjecture is true for regular local rings containing a field.