Dávid Juhász <juhasz.david.scholar@gmail.com> committed R20:04dbc622e75c: Suppress unexpected unused lambda capture warning (authored by Dávid Juhász <juhasz.david.scholar@gmail.com>).May 21 2019, 11:52 AM2019-05-21 11:52:54 (UTC+2)

• juhasz mentioned this in R20:fb3a26551f89: Implement tuple values in the deluxe interface.May 21 2019, 11:54 AM2019-05-21 11:54:32 (UTC+2)