Revision c88ac1711278d27f9741d9c75da62911be96c5d3

Committed on 27/10/2017 2:33 am by Hrvoje Knežević <[email protected]> [GitHub Diff]

Additional check added to avoid possibility of null result