Is there a ticket for it?
# stdlibh
holgerbrandl
03/15/2018, 2:00 PMIs there a ticket for it?
i
ilya.gorbunov
03/15/2018, 2:37 PMh
holgerbrandl
03/15/2018, 2:42 PMCool thanks. I’ve added a comment.
holgerbrandl
03/15/2018, 2:00 PMilya.gorbunov
03/15/2018, 2:37 PMholgerbrandl
03/15/2018, 2:42 PM