mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-01-25 22:00:18 +00:00
138d0d4da6
G+ is now defunct, update the reporter_url to bootlin as both Thomas and I are working there. Signed-off-by: Alexandre Belloni <alexandre.belloni@bootlin.com>