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
Replace one append loop with an append, rewriting the comment which was
inside the loop so that it still makes sense.
While here, remove two unused fields which are low hanging fruit.
Signed-off-by: Daniel Martí <[email protected]>
Change-Id: I1861996e58e4fa5ce2338142a5688daef1f98590
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1207358
Reviewed-by: Roger Peppe <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>
Unity-Result: CUE porcuepine <[email protected]>
0 commit comments