2018-04-21 07:28:01 +00:00
|
|
|
<!--
|
|
|
|
|
|
2018-07-19 17:32:09 +00:00
|
|
|
IMPORTANT NOTICE
|
|
|
|
|
|
|
|
|
|
Github is only used for CI right now, main development continues on the
|
|
|
|
|
mailinglist.
|
|
|
|
|
|
|
|
|
|
Please send issues and pull requests (either via `git request-pull` or `git
|
|
|
|
|
format-patch` + `git send-email`) to
|
|
|
|
|
[the imag mailinglist](https://imag-pim.org/mailinglist/).
|
|
|
|
|
|
|
|
|
|
-->
|
