Revision 20cfe88ff2f6958f576b6033cd9bacf7808b7718

Committed on 08/06/2015 1:39 am by xrowkristina <kristina@xrow.de> [GitHub Diff]

optimizations