I clarified the text in changes/312.html I don't think it can be depreciated
in the usual way since it no longer exists and its previous usage was nonsense.
Barry
> On Oct 6, 2019, at 1:10 AM, Pierre Jolivet via petsc-dev
> wrote:
>
> Hello,
> Shouldn’t there be a deprecation warning f
> On Oct 11, 2019, at 9:19 AM, Pierre Gosselet via petsc-dev
> wrote:
>
> Dear all,
> Barry kindly identified many flaws in our implementation, which gives
> us many opportunities to improve our code (which is currently under MR
> https://gitlab.com/petsc/petsc/merge_requests/2036). Among hi