Revision 80dfbec844eba5c0598d9afbc4ed474ffc750902

Committed on 28/05/2013 3:37 am by VaL <[email protected]> [GitHub Diff]

- Removed unneeded case