190209 update INFORMATION ------------------------------ jwm Window manager v2.3.6 to v2.3.7