bump Dotty plugin

Author: larsrh

project/plugins.sbt

@@ -12,5 +12,5 @@ addSbtPlugin("pl.project13.scala" % "sbt-jmh"        % "0.4.0")
 addSbtPlugin("org.portable-scala" % "sbt-scalajs-crossproject" % "1.0.0")
 addSbtPlugin("org.portable-scala" % "sbt-scala-native-crossproject" % "1.0.0")
 addSbtPlugin("com.codecommit"     % "sbt-github-actions"       % "0.10.1")
-addSbtPlugin("ch.epfl.lamp"       % "sbt-dotty"                % "0.5.2")
+addSbtPlugin("ch.epfl.lamp"       % "sbt-dotty"                % "0.5.3")
 addSbtPlugin("org.scala-native"   % "sbt-scala-native"         % "0.4.0")