tree 5a3327ae2b74e7b6ef41d625d3f594d9ad41c8f7
parent 1f30d846680670eefd089d3a60c86ef8b65888c4
author Daniele Sassoli <danielesassoli@gmail.com> 1674751393 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1674751393 +0000

Use more idiomatic Scala

Change-Id: I0d3f847a65e453fcae759732d91bd3e89d4bc953