[PATCH] Add override specifier

[Jean-Marc Lasgouttes]

Le 05/10/2020 à 19:27, Richard Kimberly Heck a écrit :
>> PS: yes, a proper fix will be eventually required, but I do not really
>> know what we should do.
> 
> I'm actually not sure why the assignment operator is made unavailable,
> but attached is a suitable patch, I think.

It looks reasonable, but I really do not know why we have to do this. I 
hoped there was some nice idiomatic C++11 magic that would get us out of 
this mess. Adding this code feels like going 10 years backwards.

JMarc