k0ala

@sjrd @lihaoyi oh no, I wouldn't want to destroy a pun! We definitely need pun-safety

Same here!

Very interesting! Is this PR still under consideration?

same thing on Ubuntu 20.04, sbt 1.5.5, Java 16.0.1