They are silly at this point: the repo is already updated, and it's too late to stop anyone anyway.
Signed-off-by: Patrick Uiterwijk patrick@puiterwijk.org
rebased onto 6d14fe58f8eec185027c6d180585aab4f69883de
:thumbsup:
rebased onto f0edc7e0a03e77189956deb02f61ef4654bf6d56
Pull-Request has been merged by pingou
They are silly at this point: the repo is already updated, and it's too late
to stop anyone anyway.
Signed-off-by: Patrick Uiterwijk patrick@puiterwijk.org