Meeting now over. Colleague in question apparently decided he had better things to do than turn up. This is a relief, since although the issue will probably come up at the next meeting (in a fortnight's time), by then the normal meeting chairman will be back from his holiday and will be able to mediate sensibly between the warring parties :-)