@miconda As I noticed that you are working on some other topos fixes right now, I don't wanted to simply merge it and cause problems with your work in progress fixes. Sorry if this caused confusion, I'll merge it of course as I was the one caused the regression.

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