was 39c28fac9320fbee1cc8fc4e92c5e7cca03cccd6 ----------------------------------------------------------------------- 39c28fac9320fbee1cc8fc4e92c5e7cca03cccd6 13973: Use a straightforward maximum() query to compute max priority ----------------------------------------------------------------------- hooks/post-receive --