BUG FIX: Now devOptions() can set values to NULL
Version: 2.11.3 [2014-09-12]
o BUG FIX: devOptions(type, name=NULL) did not assign the option NULL.