ChibiOS Free Embedded RTOS

I added stable_19.1.x to the mirror.

It was broken some months ago when they posted... also fixed master now!

Done, https://github.com/ChibiOS/ChibiOS is now mirroring the new SVN repo.

Ok, I will update the github mirror script tonight!

How's the SVN situation settled? Is it stable and not going to change again next week? What's the new URL?

Btw, also this: # nmap chibiforge.org ... PORT STATE SERVICE 21/tcp open ftp 53/tcp open domain 80/tcp open http 110/tcp open pop3 143/tcp open imap 443/tcp open https 465/tcp open smtps 587/tcp open submission 993/tcp open imaps 995/tcp open pop3s 2525/tcp open ms-v-worlds 3306/tcp open mysql 5432/...

Fixed, it's there now.

Anyone in Brussels already?

I believe this can be done using a mod (terminology for "plugin") for phpbb. There are some available that do this, someone who manages this forum just needs to take the time to install it.

Cheers,
Fabio Utzig

I merged it. I was waiting for the reviews (not in a hurry!).