It seemed counterproductive to log a new Jira issue to note the fixing of a broken build, so I tagged it as "[Broken Build]". Upon retrospect, I guess I could have tagged it as a continuation of the old Jira issue that I was working on when I introduced the bug. Hmm.
Contritely yours, Philip
