K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2020-09-05T21:43:20.791131Z
K 7
svn:log
V 103
Update AVaRICE port to 2.14

Among others, this fixes the breakage reported in PR 248995.

PR:		248995

END