Kevin Teague wrote: > Maybe the merge commit for this didn't complete for some reason? Indeed, the commit didn't happen. My mistake. The changes were happily waiting for a checkin on my machine at work. It is checked in now. regards, jw