]> Sergey Matveev's repositories - public-inbox.git/commitdiff
clone: use v5.12
authorEric Wong <e@80x24.org>
Mon, 28 Nov 2022 05:31:57 +0000 (05:31 +0000)
committerEric Wong <e@80x24.org>
Mon, 28 Nov 2022 23:38:57 +0000 (23:38 +0000)
Another small step in what will probably a be a decades-long
quest to reduce startup time by a few milliseconds.

script/public-inbox-clone

index a5651e5fee9f93bdc569df8dd829c8c553283abf..26f42e74b8f82d2cfb9835df328bdcb1b1fe4979 100755 (executable)
@@ -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 clone 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: