Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Hi all, I see that was released back in March and that there have been a couple of commits afterward on the 8.0 tree; but the last one was in late April. For someone who still needs to run 8.0, is it recommended to use 8.0.16 or the latest git? thanks in advance, iustin