| Thu, 04 Oct 2018 16:40:03 +0200 | wenzelm | avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04; | changeset | files |
| Thu, 04 Oct 2018 15:25:58 +0100 | paulson | merged | changeset | files |
| Thu, 04 Oct 2018 15:25:47 +0100 | paulson | updates to Algebra from Baillon and de Vilhena | changeset | files |
| Thu, 04 Oct 2018 15:06:09 +0200 | Lars Hupel | use correct hostname | changeset | files |