<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=793526" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/b4n">@b4n</a> the comment above by <a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=16764864" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/andy5995">@andy5995</a> about library versions was an observation I made that the LineMarker failure happened in an STL file in ".../c++/n.m/..." where the <code>n.m</code> version did not match the compiler version.</p>
<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=16764864" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/andy5995">@andy5995</a> installing different libraries isn't the solution, it needs to use whats on peoples systems, the point of travis is to find problems, not for us to force it to work by creating a non-standard configuration :)</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2067#issuecomment-490371088">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ7RII37LGTXUUFWL6LPUJ2LVANCNFSM4GSODDDQ">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJ3NPHQICTTCFFMUZYDPUJ2LVA5CNFSM4GSODDD2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODU5HQEA.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2067#issuecomment-490371088",
"url": "https://github.com/geany/geany/pull/2067#issuecomment-490371088",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>