log ServerMonitor/Controls/ServerSummaryControl.Designer.cs @ 40:c4fc74593a78 default tip

age author description
Thu, 30 May 2019 21:39:29 -0400 Brad Greco Fix server name descenders being cut off.