Pr 172#2

Merged

mitchcapper merged 4 commits intomasterfrom

Jul 27, 2022

Commits on Jul 27, 2022

Fix bug in cookie comparison

greenrd
authored and
mitchcapper
committed
Add warning to detect this bug in future

greenrd
authored and
mitchcapper
committed
Fix other type-limits warnings

greenrd
authored and
mitchcapper
committed
Update copyright year

greenrd
authored and
mitchcapper
committed