https://bugzilla.suse.com/show_bug.cgi?id=1102408 https://bugzilla.suse.com/show_bug.cgi?id=1102408#c2 --- Comment #2 from OBSbugzilla Bot --- This is an autogenerated message for OBS integration: This bug (1102408) was mentioned in https://build.opensuse.org/request/show/821093 Factory / Ipopt -- You are receiving this mail because: You are on the CC list for the bug.