Your message dated Tue, 26 Feb 2019 17:26:22 -0500 with message-id <20190226222622.GB1142@jasmine.lan> and subject line Re: [bug#34647] [PATCH] gnu: python-petsc4py: Update to 10.3.1. has caused the debbugs.gnu.org bug report #34647, regarding [PATCH] gnu: python-petsc4py: Update to 10.3.1. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 34647: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34647 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems