Revision d441ffed50a47f732a7b68c320ad284310db6c75

Committed on 08/07/2016 3:42 am by Henning Kvinnesland <[email protected]> [GitHub Diff]

Fixed graceful fallback.
Rebuild.