Learn more about these different git repos.
Other Git URLs
95307d2
Make sure to also log exceptions in non-debug mode Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>