ensime-server PR 1193

Will pick it up after the holiday. というコメントに、図らずも日本と海外の違いを感じざるを得ない。あー、やっぱり、休暇中は、プログラミングしないで、休むべきなのか。

github.com