Bram Moolenaar 5f6cae8b8a patch 9.0.0108: configure check for timer_create may give wrong error ...

Problem:    Configure check for timer_create may give wrong error.
Solution:   Give a warning instead of an error.

2022-07-30 11:00:50 +01:00

..

configure

patch 9.0.0108: configure check for timer_create may give wrong error

2022-07-30 11:00:50 +01:00