[adieu]

Sorry about that. Could you drop us an email at [e-mail] with your GitHub account? We could manually add you to the list. We're trying to debug the problem. But it's hard to reproduce it since it only affects few people.