@c automatically generated, do not edit
@set VERSION 9.3.6 (release_9.3.6)
@set DATE 2020-02-13