Just testing github/trac integration

Fix #4532