[dokuwiki] git changes 2020-07-02

  • From: DokuWiki Develtools <xref@xxxxxxxxxxxx>
  • To: dokuwiki@xxxxxxxxxxxxx
  • Date: Thu, 02 Jul 2020 03:00:02 +0200


Good Morning!

This are the git changes for DokuWiki committed
yesterday. Please test them and report bugs.

---------------------------------------------------------------------

http://github.com/splitbrain/dokuwiki/commit/a1c26920aaa485f62526a52834b1b4a667db42e2
Author: Andreas Gohr <andi[at]splitbrain.org>
Date:   Wed Jul 1 11:02:39 2020 +0200

    adjust handling for greek characters. fixes #3188
    
    This fixes an error in the case conversion table and removes "normal"
    greek letters from the list of special characters. Mathematical symbols
    based on greek letters are still considered special chars.


http://github.com/splitbrain/dokuwiki/commit/5a56359cf340966d04d5b5aee9cfe68e8685a0cd
Author: Andreas Gohr <andi[at]splitbrain.org>
Date:   Wed Jul 1 09:49:47 2020 +0200

    skip redirect tests while httpbin is broken #3187
    
    Until https://github.com/postmanlabs/httpbin/issues/617 is fixed or we
    found an alternative, the redirect tests will be skipped.


http://github.com/splitbrain/dokuwiki/commit/64604f4ea8c8025b6a8cd6842b4166448a3a20d0
Author: Andreas Gohr <andi[at]splitbrain.org>
Date:   Wed Jul 1 09:40:56 2020 +0200

    updated php-cli dependency
    
    fixes a PHP 7.4 incompability

---------------------------------------------------------------------

You can download individual diffs or patches by appending .diff or
.patch to the given commit URLs above.

Bye,
your git changelog mailer


-- 
DokuWiki mailing list - more info at
http://www.dokuwiki.org/mailinglist

Other related posts:

  • » [dokuwiki] git changes 2020-07-02 - DokuWiki Develtools