I added a missing symbol to the list managed by src/core/symbol.c. What is the proper way to contribute my change? Do I just commit and push? Do I send the patch to the list? -- Gonzalo Diethelm gonzalo.diethelm@xxxxxxxxx