Merge "Fix error in REC-13"
authorMika Rautakumpu <mika.rautakumpu@nokia.com>
Mon, 25 Nov 2019 18:12:03 +0000 (18:12 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Mon, 25 Nov 2019 18:12:03 +0000 (18:12 +0000)

Trivial merge