From 58c375e2cbf25ab848f4fd4d7d935721fd35f356 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 7a6c0cc5c0..063d1c40d9 100644
--- a/src/main/java/redis/clients/jedis/JedisSentineled.java
+++ b/src/main/java/redis/clients/jedis/JedisSentineled.java
@@ -24,4 +24,9 @@ public JedisSentineled(SentineledConnectionProvider sentineledConnectionProvider
   public HostAndPort getCurrentMaster() {
     return ((SentineledConnectionProvider) provider).getCurrentMaster();
   }
+
+  @Override
+  public Pipeline pipelined() {
+    return (Pipeline) super.pipelined();
+  }
 }