Hi Thomas and all,
there might be a caching issue here. That part of the code is here:
https://github.com/google/primarysources/blob/master/backend/service/SourcesToolBackend.cc#L115
and
it still seems right to me, but I'll check again.
I won't have much time in the next days though :( I'll give
Hi Markus and Marco, all,
Thanks for your support of and caring for the Primary Sources Tool.
Please find my replies inline.
> Dear ,
I guess the core team still does, with the caveat explained by Denny
in [1], the tl;dr is that we work on it on top of our regular jobs and
that we are happy to h
Sorry, I forgot to rename the "digest" subject, fixed now.
On 5/30/16 16:06, Marco Fossati wrote:
Hi Markus,
this is a known issue:
https://github.com/google/primarysources/issues/94
It seems to be related to the front-end: @Thomas, this and
https://github.com/google/primarysources/issues/107
