# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1477901515 -3600
# Node ID 5c6aebbcb50489491c4bb48c1fc4f432f1d7dfea
# Parent  3c5c29ae8405c771e22b669ca98805fd8e1b24ed
done

diff -r 3c5c29ae8405 -r 5c6aebbcb504 TODO
--- a/TODO	Fri Oct 28 09:58:59 2016 +0200
+++ b/TODO	Mon Oct 31 09:11:55 2016 +0100
@@ -30,4 +30,3 @@
 ---------
 
 * DebianMed (ITP #842168: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=842168)
-* Provide precompiled Windows binaries