Merge branch 'master' into develop

2021-07-31 16:41:05 +02:00 · 2021-07-31 16:41:05 +02:00 · b7253584f2
parent 8a174f6520 ae920edab0
commit b7253584f2
1 changed files with 0 additions and 1 deletions
--- a/src/kernel/messages.c
+++ b/src/kernel/messages.c
@ -294,7 +294,6 @@ void free_messagelist(mlist *msgs)

 message *add_message(message_list ** pm, message * m)
 {
-    assert(m && m->type);
    if (m != NULL) {
        struct mlist *mnew = malloc(sizeof(struct mlist));
        if (!mnew) abort();