[rb-general] __DATE__ and other toolchain patches

[Eric Myhre]

On 1/14/19 12:42 PM, Mattia Rizzolo wrote:
> I personally still prefer to _also_ push for single fixes, dropping any
> source of possible unreproducibilities.
>
> After all, the build date is totally meaningless in pretty much all
> cases I can think of, so getting rid of it completely is only good, and
> there is no reason to go out of our way to actively say "hey, don't
> bother with that" in MRs removing __DATE__/__TIME__.
>

(At the risk of sending an email which could've been a Slack emoji 
reply... I don't know any other way to signal positive consensus on 
email...)

+1 intense nodding