Roland Häder (roland)'s status on Tuesday, 10-Nov-2015 19:18:06 CET
-
Roland Häder (roland)'s status on Tuesday, 10-Nov-2015 19:18:06 CET Roland Häder @theru Thank you for the reminder! I had to do it here, too. I have now pushed my #merge (with some type-hints preserved) and will update here, soon after.