Re: [xml-dev] [ANN] Release of XMLmind XML Editor v10.1

> On 26 Apr 2022, at 10:00, Hussein Shafie <> wrote:
> 
> Release of XMLmind XML Editor v10.1. Maintenance release, including a number of bug fixes but also:
> 
> - New implementation of the "WebDAV virtual drive plug-in" add-on based on Apache HttpComponents Client.
> 


As a matter of interest, is WebDAV widely used these days? To me, it seems to have gone very quiet.

Michael Kay
Saxonica