Hi Daniel, >Is this patch OK to commit? Tested on powerpc-eabi, where it fixes >priority_queue_dijkstra.cc and correctly turns a number of FAILs to >UNSUPPORTEDs. > I'm ok with such changes, I would say wait 1-2 days for comments from other maintainers, then go ahead. Thanks a lot, Paolo.