# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1582108919 0
# Node ID a28d731977dabd73e1fa4dde92d28d78148fd72c
# Parent  462179da7dc2b65b5c25dffc96d7699d7cd7f6bd# Parent  cbd13beb09223646a0421b8408e0b22664e8f05d
merge

diff -r 462179da7dc2 -r a28d731977da bin/plinks.py