Hi Richard, Richard Frith-Macdonald wrote:
I want to make a release ... is this going to block it? Please could you re-check making sure that you are using current code from the repository and that you have re-run configure
no, go and release. Issue solved. I was on latest already, but for some reason, my repository was missing files!
git reset --hard fixed it. But I was not working on it.. very strange, anyway. A red herring. Tested clean, configure, make install went fine. No build issues. Riccardo
