-
Notifications
You must be signed in to change notification settings - Fork 17
Open
Labels
Description
It looks like sometimes the total flag count is different than the actual flags. Not sure the underlying mechanics, I remember Rich recently changed the decimal places to 2 instead of one. So it could be a rounding issue? For example, here the 0.88 may have be rounded to 0.9 in the total flag count. But then the 0.86 should also be rounded, so not totally sure this is the reason.
