Joshua Ruehlig
1835250df2
Another minor change
...
You probably are correct on NGINX optimizing groups with unused captures into non-capturing groups, but unless we know for sure/see documentation I think it is best we are explicit.
2020-08-06 02:07:55 -07:00
..
2020-06-18 08:38:36 +02:00
2020-06-28 20:18:10 +02:00
2017-11-20 15:15:05 -05:00
2020-07-05 23:12:11 +02:00
2020-06-04 12:48:13 +02:00
2020-04-22 14:15:09 +02:00
2020-01-09 16:27:56 +01:00
2020-06-04 12:48:13 +02:00
2018-11-30 16:19:23 +01:00
2020-08-06 02:07:55 -07:00
2020-06-03 13:01:37 +02:00
2020-07-04 22:53:48 +02:00
2020-07-06 13:38:47 +03:00
2020-01-20 14:29:31 +01:00
2020-04-22 08:23:13 +02:00
2019-11-28 22:26:24 +01:00
2020-01-20 14:29:31 +01:00
2020-06-04 12:48:13 +02:00
2020-02-03 10:19:30 +01:00