[Dune] Merge impossible if CI is broken (was: dune-website | add notes from 2015 user meeting (!34))

[Christian Engwer]

Dear admins,

I was unable to merge Felix patch, as a CI run was still pending. The
problem is that there were no CI-runners registered.

Christian

On Sun, Sep 18, 2016 at 12:04:58AM +0000, Felix Gruber wrote:
> New comment for Merge Request !34
> 
> https://gitlab.dune-project.org/infrastructure/dune-website/merge_requests/34#note_19894
> 
> 
> Felix Gruber
> 
> I've now added the PDFs as you suggested.
> 
> Additionally, I converted the wiki pages from the rest of the user meetings.
> 

-- 
Prof. Dr. Christian Engwer 
Institut für Numerische und Angewandte Mathematik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster

E-Mail  christian.engwer at uni-muenster.de
Telefon +49 251 83-35067
FAX     +49 251 83-32729