switch

I'm getting another feeling of deja vu here, but...

Remind me why we need @caseref.

<switch> already has @ref, which we use for nothing except relevance.
Can't we continue to use it for relevance, but pointing to the caseref  
node instead?

Or is there a really pressing backwards compatibility issue?

Steven

Received on Tuesday, 8 November 2016 13:23:00 UTC