pmp-p has quit [Ping timeout: 256 seconds]
pmp-p has joined #hpy
<fangerer> Good morning! We will have our dev call in about 1 h.
<mattip> ok
pmp-p has quit [Ping timeout: 246 seconds]
<fangerer> antocuni: we decided (in today's dev call) to merge https://github.com/hpyproject/hpy/pull/328. If you can find the time, please review this PR.
pmp-p has joined #hpy