events.shared-eventsize: increased from 256B to 768B
Original value was too small once both ESP8266 driver and asynchronous DNS started to use shared event queue. An assumption is made that once shared event queue is taken into use there are going to be multiple users instead of one, for which the original value would have been sufficient. |
---|
|
events/mbed_lib.json |
---|