@djblue New IJ release out. I would normally be the first to jump on the PR for Portal (I already put one up for clj-extras this morning), but I’m in the middle of a few things and might not be able to get to it until this afternoon or even tomorrow morning. If your mornings is clearer… 😄
Maybe I do have a little time. I’ll take a look.
PR is up