merge HEAD after closure after 0.10.1 tag