Merge branch 'develop' into 'master'

Regular merge of develop See merge request R3/howto-cards!19

Merge branch 'develop' into 'master'
Regular merge of develop See merge request R3/howto-cards!19
aa2723a3 · Laurent Heirendt · af86c782 · 72391d12 · aa2723a3 · aa2723a3
Commit aa2723a3 authored Oct 05, 2019 by Laurent Heirendt ✈
--- a/external/img/search_page.png
+++ b/external/img/search_page.png
--- a/external/img/validation_error.png
+++ b/external/img/validation_error.png
--- a/index.md
+++ b/index.md