From cb5f3a1f48f573ced454c505434606bdbfb238cc Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Wed, 7 Apr 2021 17:58:46 +0000 Subject: [PATCH] Acknowledge Jeroen --- about/authors/developers.en.tm | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/about/authors/developers.en.tm b/about/authors/developers.en.tm index 4f71610..3a750a0 100644 --- a/about/authors/developers.en.tm +++ b/about/authors/developers.en.tm @@ -1,6 +1,6 @@ - + -> +> <\body> > @@ -97,6 +97,8 @@ Nelson Beebe helped with manifacturing a more robust . + Jeroen Wouters contributed several patches. + Kai Krüger fixed several details for the new interface. @@ -123,7 +125,7 @@ acknowledging some initial inspiration from both and . - +