An Android Documentation Bug I Reported Was Fixed

In April of 2014, I reported a very minor bug in some official android documentation.

Four years later, in 2018, the bug was still present. But for some reason Google decided to simply mark it as "won't fix" and close it.

I added a comment to explain that the problem still existed and was still relevant for anyone trying to follow their Java code sample. Google reopened the bug and assigned it to someone else.

Then, in 2019, Google again tried to clear the bug by simply marking it "obsolete." So I provided the line of code that should change and what it should change to. Google reassigned it again, but, when the assignee tried to fix it, some new technical snag blocked it.

Finally, the bug was escalated to the development team. And now, a little more than six years later, someone actually fixed it.

So, yeah, the system works.

Written on May 15, 2020