> On Feb 23, 2021, at 4:17 AM, Dimitri Karamazov <deserter...@danwin1210.me> 
> wrote:
> 
> On Mon, Feb 22, 2021 at 01:28:26AM -0500, Daniel Dickman wrote:
>> 
>> 
>>> On Mon, 22 Feb 2021, Rafael Sadowski wrote:
>>> 
>>>>> 
>>>>> Bump for a new release.
>>> 
>>> Still OK for me but we need to import robin-map first. A second OK is
>>> needed.
>>> 
>> 
>> Where is the port for robin-map? Can someone resend it?
> 
> Avoid the previous diff as there is a mistake and the robin-map
> port has been attached at the very end.

What are the cmake files that are installed needed for?

Reply via email to