From d10a7fc20aae7c21055e9c9c6361e298e62468cd Mon Sep 17 00:00:00 2001
From: M Sazzadul Hoque <7600764+sazzad16@users.noreply.github.com>
Date: Thu, 31 Aug 2023 17:43:20 +0600
Subject: [PATCH] Type-cast the Pipeline object in JedisSentineled (#3517)

This is an expansion of #3221, as well as #3240. This is requested in #3516.
---
 src/main/java/redis/clients/jedis/JedisSentineled.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/main/java/redis/clients/jedis/JedisSentineled.java b/src/main/java/redis/clients/jedis/JedisSentineled.java
index 6d449e8d76..d639b4cde6 100644
--- a/src/main/java/redis/clients/jedis/JedisSentineled.java
+++ b/src/main/java/redis/clients/jedis/JedisSentineled.java
@@ -54,4 +54,9 @@ public JedisSentineled(SentineledConnectionProvider sentineledConnectionProvider
   public HostAndPort getCurrentMaster() {
     return ((SentineledConnectionProvider) provider).getCurrentMaster();
   }
+
+  @Override
+  public Pipeline pipelined() {
+    return (Pipeline) super.pipelined();
+  }
 }