Re: JMeter Bugzilla -> GitHub Issues migration

[Vladimir Sitnikov]

If PR5712 looks good enough, then it could indeed be merged.

I guess we could accompany that with 5.5.1 release to update the site
as a part of a regular release.

Vladimir