Kevin Rauscher cd1db1c857 metals: 0.10.3 -> 0.10.4 ... (cherry picked from commit 7c6cfaa13c9b680767e346ca9745cb18ab4e5b59)		2021-06-01 19:16:47 +00:00
..
default.nix	metals: 0.10.3 -> 0.10.4	2021-06-01 19:16:47 +00:00