FIXED: Bug#142: possible crash when marking records in thread message queues
FIXED: Bug#142: possible crash when marking records in thread message queues

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