Merge branch 'bug/JAL-3333_Blurry_fonts_in_WebServiceInfo_window_title_in_macOS_mojav...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 28 Jun 2019 15:30:02 +0000 (16:30 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 28 Jun 2019 15:30:02 +0000 (16:30 +0100)

Trivial merge