On Sat, Mar 4, 2017 at 4:44 PM, Emil Velikov wrote:
> On 3 March 2017 at 23:37, Timothy Arceri wrote:
>>
>> I'm tempted to just push this:
>> https://patchwork.freedesktop.org/patch/141891/
>>
>> And worry about issues later if that's not good enough.
>>
> Can we use anything like the following a
On 3 March 2017 at 23:37, Timothy Arceri wrote:
> On 03/03/17 23:27, Grazvydas Ignotas wrote:
>>
>> On Fri, Mar 3, 2017 at 5:27 AM, Timothy Arceri
>> wrote:
>>>
>>> Previously we were deleting the entire cache if a user switched
>>> between 32 and 64 bit applications.
>>>
>>> V2: make the check m
On 03/03/17 23:27, Grazvydas Ignotas wrote:
On Fri, Mar 3, 2017 at 5:27 AM, Timothy Arceri wrote:
Previously we were deleting the entire cache if a user switched
between 32 and 64 bit applications.
V2: make the check more generic, it should now work with any
platform we are likely to support
On Fri, Mar 3, 2017 at 5:27 AM, Timothy Arceri wrote:
> Previously we were deleting the entire cache if a user switched
> between 32 and 64 bit applications.
>
> V2: make the check more generic, it should now work with any
> platform we are likely to support.
> ---
> src/util/disk_cache.c | 19 ++
On 03/03/17 14:27, Timothy Arceri wrote:
Previously we were deleting the entire cache if a user switched
between 32 and 64 bit applications.
V2: make the check more generic, it should now work with any
platform we are likely to support.
---
src/util/disk_cache.c | 19 +++
1 fi
Previously we were deleting the entire cache if a user switched
between 32 and 64 bit applications.
V2: make the check more generic, it should now work with any
platform we are likely to support.
---
src/util/disk_cache.c | 19 +++
1 file changed, 19 insertions(+)
diff --git a/sr
