ふと気付くと、先日のGP-10 FloorBoard 20150715がGP-10 Edit 20150728の名前で更新されたよーなので頂戴する。 GP-10 Edit 20150728 名前が変わった経緯は不明だが、どちらもGUIの右肩のロゴは「GP-10 Editor」だったりして、まだ定まってないのかも。こち…