Commit 32ffc5a8 authored by Jonas's avatar Jonas Committed by Yifei Feng
Browse files

Just a dot in order to be consistent (#12919) 

added a dot to the `7` to make clear it's a float (like every other number)
parent 07dca81c
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment