From fa2ca608aa06c98c080edf80c00d39d6d90e4d3a Mon Sep 17 00:00:00 2001 From: Dimitri Staessens Date: Sat, 2 Jan 2021 07:24:35 +0100 Subject: build: Update email addresses The ugent email addresses are shut down, updated to Ouroboros mail addresses. Signed-off-by: Dimitri Staessens Signed-off-by: Sander Vrijders --- src/tools/irm/irm_ops.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/tools/irm/irm_ops.h') diff --git a/src/tools/irm/irm_ops.h b/src/tools/irm/irm_ops.h index 2208fdda..7ce773d0 100644 --- a/src/tools/irm/irm_ops.h +++ b/src/tools/irm/irm_ops.h @@ -3,8 +3,8 @@ * * Functions of the IRM tool that are one level deep * - * Dimitri Staessens - * Sander Vrijders + * Dimitri Staessens + * Sander Vrijders * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions -- cgit v1.2.3