Options can't be null

Issue #262 resolved
Benjamin Cordes created an issue

in TaskManager

if (Global.options != null) {

Should never happen.

Comments (1)

  1. Log in to comment