Update the list of OSes here (and check their sizes) #4195
Description
todo for future us: we should update the list of OSes here (and check their sizes)
Originally posted by @evgeni in #4096 (comment)
{{ message }}
todo for future us: we should update the list of OSes here (and check their sizes)
Originally posted by @evgeni in #4096 (comment)