Revision f06640ec2954fc73bf7bfeedc6ce44cb4a21615d

Committed on 11/06/2018 2:04 am by Vranac Srdjan <[email protected]> [GitHub Diff]

Remove a warning about state value.