diff options
author | Sean McGivern <sean@mcgivern.me.uk> | 2016-12-06 19:35:47 +0300 |
---|---|---|
committer | Sean McGivern <sean@mcgivern.me.uk> | 2016-12-06 19:35:47 +0300 |
commit | a361eb2f193120296dd5a788a71e32c13eed43d3 (patch) | |
tree | 803b810947831e613fdb5013bedd8dae7f011b16 /doc/university | |
parent | 469dfa43cf794219b5a5508168e762adc5db83ea (diff) | |
parent | a526e156a117e16d5d135aa69c0011d464697d58 (diff) |
Merge branch 'patch-7' into 'master'
Encourage bug reporters to mention if they use GitLab.com [ci skip]
See merge request !7954
Diffstat (limited to 'doc/university')
0 files changed, 0 insertions, 0 deletions