diff options
| author | Eric Wong <e@80x24.org> | 2022-11-28 05:32:00 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2022-11-28 23:38:57 +0000 |
| commit | b5b4e2de2d6949d588e6521ef25d4a01ab3a878b (patch) | |
| tree | 5cf1fa94993c9846c177888d5db14d1369a6e0cb /script | |
| parent | 9e8f3256e5891841094f43e684b4a5b420bdb7ab (diff) | |
| download | public-inbox-b5b4e2de2d6949d588e6521ef25d4a01ab3a878b.tar.gz | |
Another tiny step towards improved startup performance by avoiding one .pm file.
Diffstat (limited to 'script')
| -rwxr-xr-x | script/public-inbox-fetch | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/public-inbox-fetch b/script/public-inbox-fetch index f9bac4e3..4b991a90 100755 --- a/script/public-inbox-fetch +++ b/script/public-inbox-fetch @@ -2,8 +2,7 @@ # Copyright (C) all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> # Wrapper to git fetch remote public-inboxes -use strict; -use v5.10.1; +use v5.12; use Getopt::Long qw(:config gnu_getopt no_ignore_case auto_abbrev); my $opt = {}; my $help = <<EOF; # the following should fit w/o scrolling in 80x24 term: |