tree b57815dbb112966b2725a0832bdd4c705e30e8fa
parent 947a399d7c62cebe132e98d1172167c47d04f046
author Davide Pesavento <davidepesa@gmail.com> 1713581042 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1713581042 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQP45ZKaCM/9auWNHS3RU0Mj8uEhK57gcwXCQJf+6SvJ7abllMfG34n3vzxof2wM5Pp
 +4ebkg1SjS6p4stixnVgE=
 -----END SSH SIGNATURE-----

util: unnest nested Options classes

Change-Id: If20eea845d4c9ff2a03e6133f7ba51b579bcc7e9