Doug Coleman b6e518e4bb Merge remote-tracking branch 'origin/master' into modern-harvey3		2020-03-04 19:19:01 -06:00
..
chicago-talk	core/basis/extra: update some tags.txt.	2020-02-26 10:57:08 -08:00
galois-talk	Merge remote-tracking branch 'origin/master' into modern-harvey3	2020-03-04 19:19:01 -06:00
google-tech-talk	Merge remote-tracking branch 'origin/master' into modern-harvey3	2020-03-04 19:19:01 -06:00
jvm-summit-talk	core/basis/extra: update some tags.txt.	2020-02-26 10:57:08 -08:00
minneapolis-talk	Merge remote-tracking branch 'origin/master' into modern-harvey3	2020-03-04 19:19:01 -06:00
otug-talk	Merge remote-tracking branch 'origin/master' into modern-harvey3	2020-03-04 19:19:01 -06:00
vpri-talk	Merge remote-tracking branch 'origin/master' into modern-harvey3	2020-03-04 19:19:01 -06:00