tree 3de38207ad17824b6fff3e4b8860dfffd10a2cf6
parent 29fa1197d6611042c6a13afb9774a22cae9229db
author Marcel van Lohuizen <mpvl@golang.org> 1594984829 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595002970 +0000

encoding/openapi: fix generation bug in CRD path

This could lead to duplicate path elements.

Tested in new evaluator code.

Change-Id: I0875d135c483bcab772d8fe656f41ed88a57cb20
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6584
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>