of the session that made the change will be reported.";
choice server-or-user {
mandatory true;
- //FIXME: After Bug 4414 is resolved, use shorthand version of case statement
+ //FIXME: Use shorthand version of case statement, if possible
case server {
leaf server {
type empty;