Revision 796c6e7030437cfe6f2626fd2c920e1b2a887ebb

Committed on 10/02/2016 6:53 am by Giovanni Terlingen <gogio@live.nl> [GitHub Diff]

Remove unused function