contrib/scripts/process_log.sh: attempt to remove bash extensions, use of 2 different...
authorng0 <ng0@n0.is>
Mon, 4 Mar 2019 16:09:26 +0000 (16:09 +0000)
committerng0 <ng0@n0.is>
Mon, 4 Mar 2019 16:09:26 +0000 (16:09 +0000)
commit6a2c563de12d5ac6a4e4933fc8ec175a59ba9e67
treef88f359c8cd9f862b462d159dacb7f7f6d7c61b1
parent25af6d913578ed7176d22d0eb187ad2a70d49374
contrib/scripts/process_log.sh: attempt to remove bash extensions, use of 2 different stat implementations.
contrib/scripts/process_log.sh