Hello,
On Thu, 9 Jan 2020 at 06:08, Илья Шипицин wrote:
>
> btw, if you add "Fixes: #438", the issue will be closed automatically
>
> https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords
which we are asking people *NOT* to do, because we are also tracking
btw, if you add "Fixes: #438", the issue will be closed automatically
https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords
чт, 9 янв. 2020 г. в 01:33, William Dauchy :
> Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned
> conns lists
On Wed, Jan 08, 2020 at 09:29:53PM +0100, William Dauchy wrote:
> Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned
> conns lists and tasks at the end"), we no longer use err section.
>
> This should fix github issue #438
Merged, thanks William!
Willy
Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned
conns lists and tasks at the end"), we no longer use err section.
This should fix github issue #438
Signed-off-by: William Dauchy
---
src/server.c | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/server.c
4 matches
Mail list logo