Probably just a pat on the back :-/ but I don't know since they were employed at a different company.
Nevertheless, my feedback towards their team lead was very positive, and that might have helped them too since they both collected a bunch of negative feedback while working with some of my colleagues.