October Issue (!18) · Merge requests · HIFIS / Overall / Communication / HIFIS Newsletter · GitLab

This is an archived project. Repository and other project resources are read-only.

Uwe Jandt (DESY, HIFIS) requested to merge october-issue into main Oct 07, 2022

October issue of HIFIS newsletter, raw texts to be collected here.

Corresponding hifis.net/newsletter MR, yet to be copied-and-integrated manually.
July Issue, to get inspired w.r.t format and text style
October Issue raw draft

Edited Oct 07, 2022 by Uwe Jandt (DESY, HIFIS)

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog | Status