From eb0711b32412fc03aed96ddbee14d11229162f66 Mon Sep 17 00:00:00 2001
From: Florents Tselai <florents.tselai@gmail.com>
Date: Sat, 2 Jan 2021 18:39:05 +0200
Subject: [PATCH] Use PG_VERSION_STR

---
 http.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/http.c b/http.c
index cca32e2..1c12111 100644
--- a/http.c
+++ b/http.c
@@ -768,7 +768,7 @@ http_get_handle()
 	curl_easy_setopt(handle, CURLOPT_TIMEOUT_MS, 5000);
 
     /* Set the user agent. If not set, use PG_VERSION as default */
-    curl_easy_setopt(handle, CURLOPT_USERAGENT, PG_VERSION);
+    curl_easy_setopt(handle, CURLOPT_USERAGENT, PG_VERSION_STR);
 
 	if (!handle)
 		ereport(ERROR, (errmsg("Unable to initialize CURL")));