tree e132ec31721918cc58924336756f169fcaef0084
parent 80e016e83898b2bd4f197f1d57c7e1453828e846
author David Ostrovsky <david@ostrovsky.org> 1516856714 +0100
committer David Ostrovsky <david@ostrovsky.org> 1516859678 +0100

Drop java 6 support

Fixes #4220.