FIXED: Invalid (but harmless) directive generated from exporting operators.  Trapped by sandboxed loading.
FIXED: Invalid (but harmless) directive generated from exporting
operators.  Trapped by sandboxed loading.

edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel