You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As there is no need to differentiate between those two targets
currently, merge them together in the build script in order to fix a
clippy lint.
Signed-off-by: Hugues de Valon <[email protected]>
0 commit comments