https://bugzilla.wikimedia.org/show_bug.cgi?id=52853

Platonides <platoni...@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |platoni...@gmail.com

--- Comment #22 from Platonides <platoni...@gmail.com> ---
page_random is only set on page insertion.

I also find strange that the tool noticed differences due to float/double. I
expect it to consistently read the same data (no matter if float or double) in
both systems...

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to