K 10
svn:author
V 3
cmt
K 8
svn:date
V 27
2019-12-27T21:18:26.004974Z
K 7
svn:log
V 181
x11-toolkits/wxgtk31: update to 3.1.3

https://github.com/wxWidgets/wxWidgets/releases
Bump consumers ("needed shared library changed")

PR:		242652
Approved by:	yuri@ (maintainer)

END