Bugfix: Dominosec failed get_hash() w/ OMP. Closes #536.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  Bugfix: Dominosec failed get_hash() w/ OMP. Closes #536.