Alan, Aleksey, Daniel, thanks for your reviews!
On 2019-08-12 13:03, Daniel Fuchs wrote:
Hi Claes, I'd suggest adding a comment such as: // sized to 32 to avoid resizing during bootstrap
I think this would be superfluous, so unless there is popular demand I'll leave it as is. Thanks! /Claes
