From today onward, scala-user will be switched to read-only mode. All threads will be permanently archived on Google Groups, while any new posts should be made on https://users.scala-lang.org/ instead.
You received this message because you are subscribed to the Google Groups "scala-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.