Am 11.06.2018 um 00:53 schrieb Colomban Wendling:
> Looks like it's updated as well, isn't it?

Yes, it is. That’s what I meant by “Yes, it’s fixed …”. ;-)


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.