Revision f98f07c8081c6f7a09f35cd802a386b4828add77

Committed on 07/05/2015 5:08 am by xrowkristina <kristina@xrow.de> [GitHub Diff]

optimizations