On 7/6/20 6:59 AM, Dave Page wrote:
> Following a chat with Vik, here's an updated patch which fixes a couple
> of minor issues and greys the background of the selected OS when clicked.
>
> I plan to commit tomorrow if there are no objections.
I was out all last week, however I will review today :)
Jonathan
