I'm gonna merge this one right away as it blocks #521, which I would like to get online today.
@muellerr please check if the extended margins are ok to you.
I'm gonna merge this one right away as it blocks #521, which I would like to get online today.
@muellerr please check if the extended margins are ok to you.
mohr
self-assigned this 2021-10-27 21:34:55 +02:00
mohr
merged commit 8d004e9621 into development2021-10-27 21:35:02 +02:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Also, extended margins for some time critical checks which fail if running in valgrind.
I'm gonna merge this one right away as it blocks #521, which I would like to get online today.
@muellerr please check if the extended margins are ok to you.