use patched drupal for fedora29/php-7.2
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2018 10:20:42 +0000 (11:20 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2018 10:20:42 +0000 (11:20 +0100)
commit7dc01aafd1eff895adecf772c6481256fe645c92
tree6133db5286c8f6ff76c3283f9437b664655a7794
parent7d6a74e0ad6369a34d5ab3ad5f1e0d54f7cbc2b9
use patched drupal for fedora29/php-7.2
Makefile