[petsc-dev] bad tags pushed to repo?

Tue Sep 3 03:07:57 CDT 2019

On Tue, 3 Sep 2019 at 02:01, Balay, Satish via petsc-dev <
petsc-dev at mcs.anl.gov> wrote:

>
> - I've deleted them for now from gitlab repo
>
>
The GitHub clone had one of these (WIP) as well. I just removed it.

-- 
Lisandro Dalcin
============
Research Scientist
Extreme Computing Research Center (ECRC)
King Abdullah University of Science and Technology (KAUST)
http://ecrc.kaust.edu.sa/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20190903/b89c4329/attachment.html>