From: Ingo Bürk Date: Sat, 21 Apr 2018 15:56:06 +0000 (+0200) Subject: Merge pull request #3256 from orestisf1993/REQUIRED_OPTION X-Git-Tag: 4.16~92 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=53648511b3859781f6a199773d0db54ede8e3f0f;p=i3%2Fi3 Merge pull request #3256 from orestisf1993/REQUIRED_OPTION Remove obsolete macro REQUIRED_OPTION --- 53648511b3859781f6a199773d0db54ede8e3f0f