From 626521547c9a5d0c91287dd7027108d7bd5847fe Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Tue, 25 Feb 2020 10:53:47 +0200
Subject: [PATCH] COUNTER_Robots_list.json: Remove anchors from okhttp

The okhttp library now uses version strings in its user agent so we
should not anchor the string with ^ and $. For example, I have seen
both of these recently:

    okhttp/3.11.0
    okhttp/3.10.0

We could add a "/\d" to match the version string, but I think that
the "okhttp" is unique enough by itself to not be confused with a
real human user agent.
---
 COUNTER_Robots_list.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/COUNTER_Robots_list.json b/COUNTER_Robots_list.json
index 45459c1..4836c87 100644
--- a/COUNTER_Robots_list.json
+++ b/COUNTER_Robots_list.json
@@ -815,8 +815,8 @@
     "last_changed": "2020-07-02"
   }, 
   {
-    "pattern": "^okhttp$",
-    "last_changed": "2018-02-15",
+    "pattern": "okhttp",
+    "last_changed": "2020-02-25",
     "description": "okhttp is a Java HTTP client library.",
     "url": "http://square.github.io/okhttp/"
   },