Hacker News new | ask | show | jobs
by bkv 3890 days ago
That is the old bug tracker. An issue was submitted on the official tracker and immediately closed. See https://github.com/findbugsproject/findbugs/issues/56 for explanation.