Pirate Praveen schreef op 2020-07-03 17:18:
See #964097 for a discussion. We saw this error with git push and changing that file fixed it. So not sure what is the issue you have.
In that bug it mentions that a stack trace was printed. This is not the case on my system. I guess I experience another bug, or either the patch hid the stack trace, but introduced another problem which does not cause a stack trace.
-- Frederik Himpe <fhi...@ai.vub.ac.be> Vrije Universiteit Brussel
