diff AUTHORS.md @ 22839:e5879d8381dd

Bugfix: when scheduler is not allowed to delete dead nodes, it must ignore them
author Christian Wimmer <christian.wimmer@oracle.com>
date Thu, 15 Oct 2015 11:29:54 -0700
parents 2bbe4ecff88c
children
line wrap: on
line diff