tree 74e9b59bccba073deafa02b5d4cd16e1f6405d93
parent 4303ab30234d290874ded1846e33c48bc651c513
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1721465574 +0200
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1721465574 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYKAB0WIQRE3QzuUV5Uegq6sdJPLjDfCicO+wUCZpt6/AAKCRBPLjDfCicO
 +1mnAQCX5DuN1DcBoL37s0JUUbI0z+YwjRi1wsugnhfuiiGRMAEAwFoHvUqgcmpY
 W4wgXVcn/cxRTZD9AwO2eleBeTwrGw0=
 =egSo
 -----END PGP SIGNATURE-----

Switch from JetBrains annotations to JSpecify.

Change-Id: Ia04b52c36f9779ab15e688e0dd7434644b3a3f7f