R. David Murray added the comment:
There is a link 'report tracker problem' at the bottom of the left hand column.
Unfortunately you have to create an account there to submit an issue :(
--
nosy: +r.david.murray
resolution: -> invalid
stage: -> committed/rejected
status: open -> clo
New submission from Armin Rigo :
Should I report it here? The issue is with this issue tracker itself. If we
search for "2147483647" using the "search" box on this site (look up to the
right), then it works; but if we search for "2147483648" or a bigger number
(without the quotes), then we g