Version bump for 4.20

Needed by
https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/175846

Change-Id: I026076a5da1f16b136daab23133ca55e61d453ac
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
2 files changed