mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-01-22 05:21:07 +02:00
0d2b024d9c
Unlike aoi_hover, aoi_click was not observed to actually run into this problem. But better safe than sorry.